Extended primitive recursive functions
Mentrasti, P. ; Protasi, M.
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 16 (1982), p. 73-84 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1982-01-01
@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},
     volume = {16},
     year = {1982},
     pages = {73-84},
     mrnumber = {677656},
     zbl = {0498.03024},
     language = {en},
     url = {http://dml.mathdoc.fr/item/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) pp. 73-84. http://gdmltest.u-ga.fr/item/ITA_1982__16_1_73_0/

1. S. Eilenberg and C. C. Elgot, Recursiveness, Academic Press, New York, 1970. | MR 268040 | Zbl 0211.31101

2. E. Fachini and A. Maggiolo-Schettini, A Hierarchy of Primitive Recursive Sequence Functions, R.A.I.R.O. Inf. Theor., Vol. 13, No. 1, 1979, pp. 49-67. | Numdam | MR 525457 | Zbl 0402.03041

3. G. Germano and A. Maggiolo-Schettini, Sequence-to-Sequence Recursiveness, Inf. Proc. Lett., Vol. 4, No. 1, 1975, pp. 1-6. | MR 387037 | Zbl 0311.02047

4. G. Jacopini and P. Mentrasti, Funzioni ricorsive di sequenza, Pub. LA.C., Serie III, No. 104, 1975, pp. 5-39. | Zbl 0423.03048

5. P. Mentrasti, Sulle classi di funzioni elementari ed elementari inferiori in una variabile, Rend. Mat., (1), Vol. 9, Serie VI, 1976, pp. 37-56. | MR 419195 | Zbl 0339.02034