Some Hierarchies of Primitive Recursive Functions on Term Algebras

DOI10.1002/MALQ.19970430208MaRDI QIDQ4336703zbMATH OpenOpenAlexFDO

Authors Klaus-Hilmar Sprenger

Publication date 3 September 1997

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19970430208

zbMATH Keywords

generalizationprimitive recursive functionsGrzegorczyk hierarchyterm algebrasfeasible function

Mathematics Subject Classification ID

Complexity of computation (including implicit computational complexity) (03D15) Recursive functions and relations, subrecursive hierarchies (03D20)

Recommendations

• scientific article; zbMATH DE number 976395
• scientific article; zbMATH DE number 3557782
• Ranking Primitive Recursions: The Low Grzegorczyk Classes Revisited
• Hierarchies of primitive recursive wordsequence functions: Comparisons and decision problems

Cites work

• scientific article; zbMATH DE number 3857078 (Why is no real title available?)
• scientific article; zbMATH DE number 3083488 (Why is no real title available?)
• A hierarchy of loop programs over binary trees
• Classes of recursive functions based on Ackermann's function
• The Equivalence Problem of Simple Programs
• Theories of computational complexity

Cited in

(6)

• scientific article; zbMATH DE number 3245446 (Why is no real title available?)
• On the Algebraic Structure of Primitive Recursive Functions
• An inherently iterative algorithm for the Grzegorczyk hierarchy
• scientific article; zbMATH DE number 176211 (Why is no real title available?)
• scientific article; zbMATH DE number 3878909 (Why is no real title available?)
• Hierarchies of primitive recursive wordsequence functions: Comparisons and decision problems

This page was built for publication: Some Hierarchies of Primitive Recursive Functions on Term Algebras

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