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

Undecidability of a weak version of MSO+U

Uproszczony widok
dc.affiliationUniwersytet Warszawski
dc.contributor.authorPenelle, Vincent
dc.contributor.authorBojańczyk, Mikołaj
dc.contributor.authorGuillon, Bruno
dc.contributor.authorVijayalekshmi, Sreejith Ajithkumar
dc.contributor.authorDaviaud, Laure
dc.date.accessioned2024-01-26T11:18:57Z
dc.date.available2024-01-26T11:18:57Z
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:12)2020
dc.identifier.issn1860-5974
dc.identifier.urihttps://repozytorium.uw.edu.pl//handle/item/124149
dc.identifier.weblinkhttps://lmcs.episciences.org/6084
dc.languageeng
dc.pbn.affiliationcomputer and information sciences
dc.relation.ispartofLogical Methods in Computer Science
dc.rightsCC-BY
dc.sciencecloudnosend
dc.titleUndecidability of a weak version of MSO+U
dc.typeJournalArticle
dspace.entity.typePublication