„Recursive functions“

Suchergebnisse

132 Treffer

• A classification of the one-argument primitive recursive functions
  Naumović, Jovan
• Majorizing provably recursive functions in fragments of PA
  Cantini, Andrea
• ϱ-inaccessible ordinals, collapsing functions and a recursive notation system
  Jäger, Gerhard
• A classification of the ordinal recursive functions
  Wainer, S. S.
• Effective operations on partial recursive functions
  Myhill, John ; Shepherdson, J. C.
• General recursive functions of natural numbers
  Kleene, S. C.
• A Hierarchy of Primitive Recursive Functions
  Cleave, J. P.
• Note on the 3‐Recursive Functions
  Axt, Paul
• Recursively Enumerable Sets and Retracing Functions †
  Yates, C. E. M.
• Hierarchies of Primitive Recursive Functions
  Parsons, Charles
• Enumerability, decidability, computability – An introduction to the theory of recursive functions
  Hermes, Hans ; Herman, Gabor T. ; Plassmann, Ortwin 1965 Springer
• Productive sets and constructively nonpartial-recursive functions
  Kanda, Akira
• A recursive quadratic programming algorithm that uses differentiable exact penalty functions
  Powell, M. J. D. ; Yuan, Y.
• Classes of Recursive Functions and Their Index Sets
  Lewis, F. D.
• Effective Enumerability of Some Families of Partially Recursive Functions Connected With Computable Functionals
  Vučković, Vladeta
• Recursive Word‐Functions over Infinite Alphabets
  Vučkovi, Vladeta
• A Classification of the Recursive Functions
  Meyer, Albert R. ; Ritchie, Dennis M.
• n ‐Ary Almost Recursive Functions
  Berry, John W.
• Hierarchies of primitive recursive functions on term algebras
  Sprenger, Klaus-Hilmar 1996 Shaker
• Equivalence of some Hierarchies of Primitive Recursive Functions
  Harrow, Keith