A classification of the one-argument primitive recursive functions
From MaRDI portal
Recommendations
Cites work
- Another simplification of the recursion scheme
- Classes of One‐Argument Recursive Functions
- Classes of recursive functions based on Ackermann's function
- scientific article; zbMATH DE number 3305097 (Why is no real title available?)
- Iteration of Primitive Recursion
- Primitive recursive functions
- Rekursionszahlen und die Grzegorczyk-Hierarchie
- Simplifications of the recursion scheme
Cited in
(12)- Primitive iteration and unary functions
- A further glance at classifiable 1-ary functions
- Plain bases for classes of primitive recursive functions
- scientific article; zbMATH DE number 4019039 (Why is no real title available?)
- A classification of an iterative hierarchy
- scientific article; zbMATH DE number 4029556 (Why is no real title available?)
- Small Grzegorczyk Classes
- scientific article; zbMATH DE number 19776 (Why is no real title available?)
- scientific article; zbMATH DE number 3557782 (Why is no real title available?)
- Grzegorcyk's hierarchy and IepΣ1
- On Closed Classes of Primitive Recursive Functions, II
- Unary primitive recursive functions
This page was built for publication: A classification of the one-argument primitive recursive functions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3333020)