A Hierarchy of Primitive Recursive Functions
-
Published:1963
Issue:22
Volume:9
Page:331-346
-
ISSN:0044-3050
-
Container-title:Zeitschrift für Mathematische Logik und Grundlagen der Mathematik
-
language:de
-
Short-container-title:MLQ - Math. Log. Quart.
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Complexity of Primitive Recursion;Computational Logic;1999
2. Elementary realizability;Journal of Philosophical Logic;1997-06
3. The intrinsic difficulty of recursive functions;Studia Logica;1996-05
4. Elementary Functions and LOOP Programs;Notre Dame Journal of Formal Logic;1994-10-01
5. Four Lectures on Primitive Recursion;Logic and Algebra of Specification;1993