Liste des citations dans Numdam pour : A decision method for the recognizability of sets defined by number systems

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 20 (1986), p. 395-403 / Harvested from Numdam

Durand, Fabien

Decidability of the HD0L ultimate periodicity problem
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 47 (2013), p. 201-214 / Harvested from Numdam