Deciding Monadic Second Order Logic over $$\omega $$ ω -Words by Specialized Finite Automata
2016 ◽
pp. 245-259
Keyword(s):
Keyword(s):
2018 ◽
Vol 28
(8)
◽
pp. 1290-1332
1996 ◽
Vol 160
(1-2)
◽
pp. 87-143
◽
Keyword(s):
Keyword(s):
2000 ◽
Vol 244
(1-2)
◽
pp. 63-94
◽
Keyword(s):
2008 ◽
Vol 6
(3)
◽
pp. 416-442
◽
Keyword(s):