Infinite and Bi-infinite Words with Decidable Monadic Theories.

Dietrich Kuske, Jiamou Liu, Anastasia Moskvina

Browse the full CSL paper archive.