TY  - JOUR
AU  - Bárány, Vince
TI  - A hierarchy of automatic $\omega $-words having a decidable MSO theory
JO  - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 2008
SP  - 417
EP  - 450
VL  - 42
IS  - 3
PB  - EDP-Sciences
UR  - http://www.numdam.org/articles/10.1051/ita:2008008/
DO  - 10.1051/ita:2008008
LA  - en
ID  - ITA_2008__42_3_417_0
ER  -