Toggle navigation
Revues
Livres
Sources
français
English
Tout
Tout
Auteur
Titre
Bibliographie
Inclure les e-prints dans la recherche (arXiv, HAL)
Rechercher
NOT
Entre
et
Auteur
Tout
Auteur
Titre
Date
Bibliographie
Plein texte
Liste des citations dans Numdam pour :
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
Courcelle, B.
Algebraic and Regular Trees
Publications du Département de mathématiques (Lyon),
(1985),
p. 91-95
/ Harvested from
Numdam