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) no. 4, pp. 395-403.

---