Voir la notice de l'article provenant de la source Numdam
@article{ITA_1982__16_1_73_0, author = {Mentrasti, P. and Protasi, M.}, title = {Extended primitive recursive functions}, journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications}, pages = {73--84}, publisher = {EDP-Sciences}, volume = {16}, number = {1}, year = {1982}, mrnumber = {677656}, zbl = {0498.03024}, language = {en}, url = {http://geodesic.mathdoc.fr/item/ITA_1982__16_1_73_0/} }
TY - JOUR AU - Mentrasti, P. AU - Protasi, M. TI - Extended primitive recursive functions JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 1982 SP - 73 EP - 84 VL - 16 IS - 1 PB - EDP-Sciences UR - http://geodesic.mathdoc.fr/item/ITA_1982__16_1_73_0/ LA - en ID - ITA_1982__16_1_73_0 ER -
%0 Journal Article %A Mentrasti, P. %A Protasi, M. %T Extended primitive recursive functions %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 1982 %P 73-84 %V 16 %N 1 %I EDP-Sciences %U http://geodesic.mathdoc.fr/item/ITA_1982__16_1_73_0/ %G en %F ITA_1982__16_1_73_0
Mentrasti, P.; Protasi, M. Extended primitive recursive functions. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 16 (1982) no. 1, pp. 73-84. http://geodesic.mathdoc.fr/item/ITA_1982__16_1_73_0/
1. Recursiveness, Academic Press, New York, 1970. | Zbl | MR
and ,2. A Hierarchy of Primitive Recursive Sequence Functions, R.A.I.R.O. Inf. Theor., Vol. 13, No. 1, 1979, pp. 49-67. | mathdoc-id | Zbl | MR | EuDML
and ,3. Sequence-to-Sequence Recursiveness, Inf. Proc. Lett., Vol. 4, No. 1, 1975, pp. 1-6. | Zbl | MR
and ,4. Funzioni ricorsive di sequenza, Pub. LA.C., Serie III, No. 104, 1975, pp. 5-39. | Zbl
and ,5. Sulle classi di funzioni elementari ed elementari inferiori in una variabile, Rend. Mat., (1), Vol. 9, Serie VI, 1976, pp. 37-56. | Zbl | MR
,