A Hierarchy of Primitive Recursive Functions

DOI10.1002/MALQ.19630092202MaRDI QIDQ5737079zbMATH OpenOpenAlexFDO

Authors J. P. Cleave

Publication date 1963

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

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

zbMATH Keywords

mathematical logic

Cited in

(10)

• Complexity of algorithms and computations
• Augmented loop languages and classes of computable functions
• Elementary realizability
• The intrinsic difficulty of recursive functions
• Subrecursive programming languages. II. On program size
• A hierarchy of loop programs over binary trees
• scientific article; zbMATH DE number 3623543 (Why is no real title available?)
• A New Hierarchy of Elementary Functions
• scientific article; zbMATH DE number 3305096 (Why is no real title available?)
• On a complexity-based way of constructivizing the recursive functions

This page was built for publication: A Hierarchy of Primitive Recursive Functions

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