Liste des citations dans Numdam pour : An algorithm for the solution of fixed-point equations for infinite words

RAIRO. Informatique théorique, Tome 14 (1980) no. 2, pp. 131-141.

Bruyère, Véronique ; Carton, Olivier ; Sénizergues, Géraud

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 43 (2009) no. 2, pp. 321-338.

Bloom, Stephen L. ; Ésik, Zoltán

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 38 (2004) no. 1, pp. 3-17.

Thomas, Wolfgang

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 20 (1986) no. 4, pp. 371-381.

Dauchet, M. ; Timmerman, E.

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 20 (1986) no. 3, pp. 251-274.

Courcelle, B.

Publications du Département de mathématiques (Lyon), no. 2B (1985), pp. 91-95.