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

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 14 (1980), p. 131-141 / Harvested from Numdam

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

Tree automata and automata on linear orderings
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 43 (2009), p. 321-338 / Harvested from Numdam

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

Axiomatizing omega and omega-op powers of words
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 38 (2004), p. 3-17 / Harvested from Numdam

Dauchet, M. ; Timmerman, E.

Continuous monoids and yields of infinite trees
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 20 (1986), p. 251-274 / Harvested from Numdam

Thomas, Wolfgang

On frontiers of regular trees
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 20 (1986), p. 371-381 / Harvested from Numdam

Courcelle, B.

Algebraic and Regular Trees
Publications du Département de mathématiques (Lyon), (1985), p. 91-95 / Harvested from Numdam