Beyond $omega BS$-regular Languages: $omegaT$-regular Expressions and Counter-Check Automata

Autor:	Della Monica, Dario, Montanari, Angelo, Sala, Pietro
Jazyk:	angličtina
Rok vydání:	2017
Předmět:	omega-regular languages monadic second-order logic of one successor omega-regular expression omega-regular languages omega-regular expression counter automata monadic second-order logic of one successor counter automata
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=od______3659::a7418bb4c0418a6166a715f589f736b4 http://hdl.handle.net/11390/1201762 Zobrazit plný text záznamu