A hierarchy of primitive recursive sequence functions
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 13 (1979) no. 1, pp. 49-67
Voir la notice de l'article provenant de la source Numdam
@article{ITA_1979__13_1_49_0,
author = {Fachini, E. and Maggiolo-Schettini, A.},
title = {A hierarchy of primitive recursive sequence functions},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
pages = {49--67},
publisher = {EDP-Sciences},
volume = {13},
number = {1},
year = {1979},
mrnumber = {525457},
zbl = {0402.03041},
language = {en},
url = {http://geodesic.mathdoc.fr/item/ITA_1979__13_1_49_0/}
}
TY - JOUR AU - Fachini, E. AU - Maggiolo-Schettini, A. TI - A hierarchy of primitive recursive sequence functions JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 1979 SP - 49 EP - 67 VL - 13 IS - 1 PB - EDP-Sciences UR - http://geodesic.mathdoc.fr/item/ITA_1979__13_1_49_0/ LA - en ID - ITA_1979__13_1_49_0 ER -
%0 Journal Article %A Fachini, E. %A Maggiolo-Schettini, A. %T A hierarchy of primitive recursive sequence functions %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 1979 %P 49-67 %V 13 %N 1 %I EDP-Sciences %U http://geodesic.mathdoc.fr/item/ITA_1979__13_1_49_0/ %G en %F ITA_1979__13_1_49_0
Fachini, E.; Maggiolo-Schettini, A. A hierarchy of primitive recursive sequence functions. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 13 (1979) no. 1, pp. 49-67. http://geodesic.mathdoc.fr/item/ITA_1979__13_1_49_0/