Open questions around Bu¨chi and Presburger arithmetics

The monadic theory of morphic infinite words and generalizations

Information and Computation

The Monadic Theory of Morphic Infinite Words and Generalizations

MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science

Definable relations and first-order query languages over strings

Journal of the ACM (JACM)

Numeration systems: a link between number theory and formal language theory

DLT'10 Proceedings of the 14th international conference on Developments in language theory