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

Bárány, Vince

Cambridge, Mass : EDP Sciences (2008)
Contribution to a conference proceedings, Journal Article

In: Theoretical informatics and applications = Informatique théorique et applications
Volume: 42
Issue: 3
Page(s)/Article-Nr.: 417-450