Sciweavers

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