Primitive recursion and -recursivity

MaRDI QIDQ5427433zbMATH OpenFDO

Authors Angel Garrido

Publication date 20 November 2007

zbMATH Keywords

automata theoryprimitive recursionrecursive functionrecursivity

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20)

Recommendations

• Eine Rekursive Universelle Funktion Für Die Primitiv-Rekursiven Funktionen
• scientific article; zbMATH DE number 1342252
• scientific article; zbMATH DE number 3954294
• On rudimentarity, primitive recursivity and representability
• scientific article; zbMATH DE number 4072943

Cited in

(8)

• Rudimentary relations and primitive recursion: A toolbox
• Non-definability of the Ackermann function with type 1 partial primitive recursion
• A representation theorem for primitive recursive algorithms
• scientific article; zbMATH DE number 3863192 (Why is no real title available?)
• scientific article; zbMATH DE number 3878909 (Why is no real title available?)
• On the Algebraic Structure of Primitive Recursive Functions
• scientific article; zbMATH DE number 4029556 (Why is no real title available?)
• scientific article; zbMATH DE number 4072943 (Why is no real title available?)

This page was built for publication: Primitive recursion and \(\mu\)-recursivity

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