TY  - RPRT
TI  - Infinite and Bi-infinite Words with Decidable Monadic Theories
AU  - Dietrich Kuske
AU  - Jiamou Liu
AU  - Anastasia Moskvina
PY  - 2018
DO  - 10.23638/lmcs-14(3:9)2018
UR  - https://arxiv.org/abs/1712.03759
ID  - 1712.03759
ER  -