@article{ITA_1982__16_1_73_0,
author = {Mentrasti, P. and Protasi, M.},
title = {Extended primitive recursive functions},
journal = {RAIRO. Informatique th\'eorique},
pages = {73--84},
year = {1982},
publisher = {EDP Sciences},
volume = {16},
number = {1},
mrnumber = {677656},
zbl = {0498.03024},
language = {en},
url = {https://www.numdam.org/item/ITA_1982__16_1_73_0/}
}
Mentrasti, P.; Protasi, M. Extended primitive recursive functions. RAIRO. Informatique théorique, Tome 16 (1982) no. 1, pp. 73-84. https://www.numdam.org/item/ITA_1982__16_1_73_0/
1. and , Recursiveness, Academic Press, New York, 1970. | Zbl | MR
2. and , A Hierarchy of Primitive Recursive Sequence Functions, R.A.I.R.O. Inf. Theor., Vol. 13, No. 1, 1979, pp. 49-67. | Numdam | Zbl | MR | EuDML
3. and , Sequence-to-Sequence Recursiveness, Inf. Proc. Lett., Vol. 4, No. 1, 1975, pp. 1-6. | Zbl | MR
4. and , Funzioni ricorsive di sequenza, Pub. LA.C., Serie III, No. 104, 1975, pp. 5-39. | Zbl
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





