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

RAIRO. Informatique théorique et applications, Tome 20 (1986) no. 4, pp. 395-403

---