Systèmes de déduction pour les arbres et les schémas de programme (II)
Enjalbert, P.
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 15 (1981), p. 3-21 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU) 
@article{ITA_1981__15_1_3_0,
     author = {Enjalbert, P.},
     title = {Syst\`emes de d\'eduction pour les arbres et les sch\'emas de programme (II)},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     volume = {15},
     year = {1981},
     pages = {3-21},
     mrnumber = {610943},
     zbl = {0464.68019},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/ITA_1981__15_1_3_0}
}

Enjalbert, P. 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) pp. 3-21. http://gdmltest.u-ga.fr/item/ITA_1981__15_1_3_0/