scientific article; zbMATH DE number 3623543

MaRDI QIDQ4186306zbMATH OpenFDO

Authors Emanuela Fachini, Andrea Maggiolo-Schettini

Publication date 1979

Full work available at URL https://eudml.org/doc/92090

zbMATH Keywords

Hierarchy of Primitive Recursive Sequence Functions

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Hierarchies of computability and definability (03D55)

Cites work

• A Hierarchy of Primitive Recursive Functions
• A note on comparison of subrecursive hierarchies
• Classes of recursive functions based on Ackermann's function
• scientific article; zbMATH DE number 3488637 (Why is no real title available?)
• scientific article; zbMATH DE number 3506659 (Why is no real title available?)
• scientific article; zbMATH DE number 3560706 (Why is no real title available?)
• scientific article; zbMATH DE number 3305097 (Why is no real title available?)
• scientific article; zbMATH DE number 3335016 (Why is no real title available?)
• scientific article; zbMATH DE number 3083488 (Why is no real title available?)
• ITERATION AND RECURSION
• Iteration of Primitive Recursion
• Proving a compiler correct: A simple approach
• Rekursionszahlen und die Grzegorczyk-Hierarchie
• Sequence-to-sequence recursiveness
• The Equivalence Problem of Simple Programs

Cited in

(2)

• Hierarchies of primitive recursive wordsequence functions: Comparisons and decision problems
• scientific article; zbMATH DE number 3784854 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4186306)