Langages d'interprétation des schémas récursifs
Cousineau, F. G. ; Rifflet, J.-M.
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 9 (1975), p. 21-42 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU) 
@article{ITA_1975__9_1_21_0,
     author = {Cousineau, F. G. and Rifflet, J.-M.},
     title = {Langages d'interpr\'etation des sch\'emas r\'ecursifs},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     volume = {9},
     year = {1975},
     pages = {21-42},
     mrnumber = {411250},
     zbl = {0331.68007},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/ITA_1975__9_1_21_0}
}

Cousineau, F. G.; Rifflet, J.-M. Langages d'interprétation des schémas récursifs. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 9 (1975) pp. 21-42. http://gdmltest.u-ga.fr/item/ITA_1975__9_1_21_0/

[1] Aschcroft E. Manna Z. et Pnueli A., Decidable Properties of Monadic Functional Schemas, in Theory of Machines and Computation, pp. 3-17, Kohavi et Paz ed. Academic Press (1971). | Zbl 0306.68048

[2] Cousineau F. G. et Rifflet J.-M., Schémas de Programme : Problèmes d'équivalence et complexité, Thèse de Troisième Cycle, Université Paris 7 (février 1974).

[3] Garland S. J. et Luckham D. C., Program Schemes, Recursive Schemes and Formal Languages, J. Comput. System Sci. 7 (1973), n° 2, pp. 119-160. | Zbl 0277.68010