A classification of the one-argument primitive recursive functions.
Archiv für mathematische Logik und Grundlagenforschung (1983)
- Volume: 23, page 161-174
- ISSN: 0003-9268
Access Full Article
topHow to cite
topNaumovic, Jovan. "A classification of the one-argument primitive recursive functions.." Archiv für mathematische Logik und Grundlagenforschung 23 (1983): 161-174. <http://eudml.org/doc/138017>.
@article{Naumovic1983,
author = {Naumovic, Jovan},
journal = {Archiv für mathematische Logik und Grundlagenforschung},
keywords = {subrecursive hierarchies; iterative hierarchy; hierarchy of one-argument functions; simulation of register-machines with step-functions},
pages = {161-174},
title = {A classification of the one-argument primitive recursive functions.},
url = {http://eudml.org/doc/138017},
volume = {23},
year = {1983},
}
TY - JOUR
AU - Naumovic, Jovan
TI - A classification of the one-argument primitive recursive functions.
JO - Archiv für mathematische Logik und Grundlagenforschung
PY - 1983
VL - 23
SP - 161
EP - 174
KW - subrecursive hierarchies; iterative hierarchy; hierarchy of one-argument functions; simulation of register-machines with step-functions
UR - http://eudml.org/doc/138017
ER -
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.