A Hierarchy of Automatic $omega$-Words having a Decidable MSO Theory

Bárány, Vince

Cambridge, Mass : EDP Sciences (2008)
Beitrag zu einem Tagungsband, Fachzeitschriftenartikel

In: Theoretical informatics and applications = Informatique théorique et applications
Band: 42
Heft: 3
Seite(n)/Artikel-Nr.: 417-450