Deciding Monadic Second Order Logic over \omega ω -Words by Specialized Finite Automata.

Stephan Barth

Browse the full IFM paper archive.