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]

Theoretical informatics and applications = Informatique théorique et applications
Band: 42
Ausgabe: 3
Seite(n): 417-450