Artykuł w czasopiśmie
Brak miniatury
Licencja
CC-BYCC-BY - Uznanie autorstwa
 

Recursion Schemes, the MSO Logic, and the U quantifier

Uproszczony widok
cris.lastimport.scopus2024-02-12T19:35:00Z
dc.affiliationUniwersytet Warszawski
dc.contributor.authorParys, Paweł
dc.date.accessioned2024-01-25T19:08:16Z
dc.date.available2024-01-25T19:08:16Z
dc.date.copyright2020-02-18
dc.date.issued2020
dc.description.accesstimeAT_PUBLICATION
dc.description.financePublikacja bezkosztowa
dc.description.number1
dc.description.versionFINAL_PUBLISHED
dc.description.volume16
dc.identifier.doi10.23638/LMCS-16(1:20)2020
dc.identifier.issn1860-5974
dc.identifier.urihttps://repozytorium.uw.edu.pl//handle/item/118067
dc.identifier.weblinkhttps://doi.org/10.23638/LMCS-16(1:20)2020
dc.languageeng
dc.pbn.affiliationcomputer and information sciences
dc.relation.ispartofLogical Methods in Computer Science
dc.rightsCC-BY
dc.sciencecloudnosend
dc.titleRecursion Schemes, the MSO Logic, and the U quantifier
dc.typeJournalArticle
dspace.entity.typePublication