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

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

Garcia, Françoise

Étude et implémentation d'un système de déduction pour logique algorithmique
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 22 (1988), p. 57-92 / Harvested from Numdam

Courcelle, B.

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

Fariñas Del Cerro, Luis

Les modalités de la correction totale
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 16 (1982), p. 349-363 / Harvested from Numdam