Liste des citations dans Numdam pour : Systèmes de déduction pour les arbres et les schémas de programme (II)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 15 (1981), p. 3-21 / Harvested from Numdam

Courcelle, B.

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