A Hierarchy of Automatic $omega$-Words having a Decidable MSO Theory
Bárány, Vince (Author)
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
Identifikationsnummern
- DOI: 10.1051/ita:2008008
- REPORT NUMBER: RWTH-CONV-048871