Sciweavers

2 search results - page 1 / 1
» Deterministic Automata and Extensions of Weak MSO
Sort
View
FSTTCS
2009
Springer
16 years 15 days ago
Deterministic Automata and Extensions of Weak MSO
Mikolaj Bojanczyk, Szymon Torunczyk
STACS
2009
Springer
16 years 21 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