A classification of the one-argument primitive recursive functions (Q3333020)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A classification of the one-argument primitive recursive functions |
scientific article |
Statements
A classification of the one-argument primitive recursive functions (English)
0 references
1983
0 references
subrecursive hierarchies
0 references
iterative hierarchy
0 references
hierarchy of one-argument functions
0 references
simulation of register-machines with step-functions
0 references