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
Identifikationsnummern
- DOI: 10.1051/ita:2008008
- RWTH PUBLICATIONS: RWTH-CONV-048871