Sciweavers

2 search results - page 1 / 1
» Deterministic Automata and Extensions of Weak MSO
Sort
View
FSTTCS
2009
Springer
16 years 11 days ago
Deterministic Automata and Extensions of Weak MSO
Mikolaj Bojanczyk, Szymon Torunczyk
STACS
2009
Springer
16 years 18 days ago
Weak MSO with the Unbounding Quantifier
Abstract. A new class of languages of infinite words is introduced, called the maxregular languages, extending the class of ω-regular languages. The class has two equivalent desc...
Mikolaj Bojanczyk