@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 = {Revue fran\c{c}aise d'automatique informatique recherche op\'erationnelle. Informatique th\'eorique}, pages = {21--42}, publisher = {Dunod-Gauthier-Villars}, address = {Paris}, volume = {9}, number = {R1}, year = {1975}, mrnumber = {411250}, zbl = {0331.68007}, 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 - Revue française d'automatique informatique recherche opérationnelle. Informatique théorique PY - 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/ LA - fr ID - ITA_1975__9_1_21_0 ER -
%0 Journal Article %A Cousineau, F. G. %A Rifflet, J.-M. %T Langages d'interprétation des schémas récursifs %J Revue française d'automatique informatique recherche opérationnelle. Informatique théorique %D 1975 %P 21-42 %V 9 %N R1 %I Dunod-Gauthier-Villars %C Paris %U http://www.numdam.org/item/ITA_1975__9_1_21_0/ %G fr %F ITA_1975__9_1_21_0
Cousineau, F. G.; Rifflet, J.-M. Langages d'interprétation des schémas récursifs. Revue française d'automatique informatique recherche opérationnelle. Informatique théorique, Volume 9 (1975) no. R1, pp. 21-42. http://www.numdam.org/item/ITA_1975__9_1_21_0/
[1] Decidable Properties of Monadic Functional Schemas, in Theory of Machines and Computation, pp. 3-17, Kohavi et Paz ed. Academic Press (1971). | Zbl
et ,[2] Schémas de Programme : Problèmes d'équivalence et complexité, Thèse de Troisième Cycle, Université Paris 7 (février 1974).
et ,[3] Program Schemes, Recursive Schemes and Formal Languages, J. Comput. System Sci. 7 (1973), n° 2, pp. 119-160. | Zbl
et ,