scientific article; zbMATH DE number 3623543
From MaRDI portal
Publication:4186306
zbMath0402.03041MaRDI QIDQ4186306
Andrea Maggiolo-Schettini, Emanuela Fachini
Publication date: 1979
Full work available at URL: https://eudml.org/doc/92090
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Recursive functions and relations, subrecursive hierarchies (03D20) Hierarchies of computability and definability (03D55)
Related Items
Unnamed Item ⋮ Hierarchies of primitive recursive wordsequence functions: Comparisons and decision problems
Cites Work
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item