Liste des citations dans Numdam pour : Mots infinis engendrés par une grammaire algébrique

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 11 (1977), p. 311-327 / Harvested from Numdam

Finkel, Olivier

Highly undecidable problems for infinite computations
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 43 (2009), p. 339-364 / Harvested from Numdam

Courcelle, B.

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

Arnold, André

Sémantique des processus communicants
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 15 (1981), p. 103-139 / Harvested from Numdam

Heilbrunner, Stephan

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

Courcelle, Bruno

Arbres infinis et systèmes d'équations
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 13 (1979), p. 31-48 / Harvested from Numdam

Nivat, Maurice

Sur les ensembles de mots infinis engendrés par une grammaire algébrique
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 12 (1978), p. 259-278 / Harvested from Numdam

Latteux, Michel

Mots infinis et langages commutatifs
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 12 (1978), p. 185-192 / Harvested from Numdam

Courcelle, Bruno

Frontiers of infinite trees
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 12 (1978), p. 319-337 / Harvested from Numdam