A Hierarchy of Primitive Recursive Functions

DOI10.1002/malq.19630092202zbMath0124.00303OpenAlexW2067617817MaRDI QIDQ5737079

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

Related Items

Elementary realizability, The intrinsic difficulty of recursive functions, Unnamed Item, A New Hierarchy of Elementary Functions, Complexity of algorithms and computations, On a complexity-based way of constructivizing the recursive functions, A hierarchy of loop programs over binary trees, Unnamed Item, Augmented loop languages and classes of computable functions, Subrecursive programming languages. II. On program size