Extended primitive recursive functions
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications (1982)
- Volume: 16, Issue: 1, page 73-84
- ISSN: 0988-3754
Access Full Article
topHow to cite
topMentrasti, P., and Protasi, M.. "Extended primitive recursive functions." RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications 16.1 (1982): 73-84. <http://eudml.org/doc/92154>.
@article{Mentrasti1982,
author = {Mentrasti, P., Protasi, M.},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications},
keywords = {primitive recursive sequence function},
language = {eng},
number = {1},
pages = {73-84},
publisher = {EDP-Sciences},
title = {Extended primitive recursive functions},
url = {http://eudml.org/doc/92154},
volume = {16},
year = {1982},
}
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
PB - EDP-Sciences
VL - 16
IS - 1
SP - 73
EP - 84
LA - eng
KW - primitive recursive sequence function
UR - http://eudml.org/doc/92154
ER -
References
top- 1. S. EILENBERG and C. C. ELGOT, Recursiveness, Academic Press, New York, 1970. Zbl0211.31101MR268040
- 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. Zbl0402.03041MR525457
- 3. G. GERMANO and A. MAGGIOLO-SCHETTINI, Sequence-to-Sequence Recursiveness, Inf. Proc. Lett., Vol. 4, No. 1, 1975, pp. 1-6. Zbl0311.02047MR387037
- 4. G. JACOPINI and P. MENTRASTI, Funzioni ricorsive di sequenza, Pub. LA.C., Serie III, No. 104, 1975, pp. 5-39. Zbl0423.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. Zbl0339.02034MR419195
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.