Langages d'interprétation des schémas récursifs
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 9 (1975) no. R1, pp. 21-42.
@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},
     pages = {21--42},
     publisher = {Dunod-Gauthier-Villars},
     address = {Paris},
     volume = {9},
     number = {R1},
     year = {1975},
     zbl = {0331.68007},
     mrnumber = {411250},
     language = {fr},
     url = {http://www.numdam.org/item/ITA_1975__9_1_21_0/}
}
TY  - JOUR
AU  - Cousineau, F. G.
AU  - Rifflet, J.-M.
TI  - Langages d'interprétation des schémas récursifs
JO  - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 1975
DA  - 1975///
SP  - 21
EP  - 42
VL  - 9
IS  - R1
PB  - Dunod-Gauthier-Villars
PP  - Paris
UR  - http://www.numdam.org/item/ITA_1975__9_1_21_0/
UR  - https://zbmath.org/?q=an%3A0331.68007
UR  - https://www.ams.org/mathscinet-getitem?mr=411250
LA  - fr
ID  - ITA_1975__9_1_21_0
ER  - 
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) no. R1, pp. 21-42. http://www.numdam.org/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