Artykuł w czasopiśmie
Brak miniatury
Licencja
ClosedAccessDostęp zamknięty
 

Connecting Decidability and Complexity for MSO Logic

Uproszczony widok
cris.lastimport.scopus2024-02-12T19:50:42Z
dc.affiliationUniwersytet Warszawski
dc.conference.countryBelgia
dc.conference.datefinish2017-08-11
dc.conference.datestart2017-08-07
dc.conference.placeLiege
dc.conference.seriesDevelopments in Language Theory
dc.conference.seriesDevelopments in Language Theory
dc.conference.seriesshortcutDLT
dc.conference.shortcutDLT 2017
dc.contributor.authorSkrzypczak, Michał
dc.date.accessioned2024-01-24T20:06:24Z
dc.date.available2024-01-24T20:06:24Z
dc.date.issued2017
dc.description.financeNie dotyczy
dc.identifier.doi10.1007/978-3-319-62809-7_4
dc.identifier.urihttps://repozytorium.uw.edu.pl//handle/item/103560
dc.languageeng
dc.pbn.affiliationcomputer and information sciences
dc.rightsClosedAccess
dc.sciencecloudnosend
dc.titleConnecting Decidability and Complexity for MSO Logic
dc.typeJournalArticle
dspace.entity.typePublication