Publication:4186306
From MaRDI portal
zbMath0402.03041MaRDI QIDQ4186306
Andrea Maggiolo-Schettini, Emanuela Fachini
Publication date: 1979
Full work available at URL: https://eudml.org/doc/92090
03D20: Recursive functions and relations, subrecursive hierarchies
03D55: Hierarchies of computability and definability
Related Items
Hierarchies of primitive recursive wordsequence functions: Comparisons and decision problems, Unnamed Item
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Proving a compiler correct: A simple approach
- Sequence-to-sequence recursiveness
- Classes of recursive functions based on Ackermann's function
- A note on comparison of subrecursive hierarchies
- Iteration of Primitive Recursion
- ITERATION AND RECURSION
- The Equivalence Problem of Simple Programs
- Rekursionszahlen und die Grzegorczyk-Hierarchie
- A Hierarchy of Primitive Recursive Functions