Skip to search formSkip to main contentSkip to account menu

Course-of-values recursion

Known as: Course of values recursion, Course-of-value recursion 
In computability theory, course-of-values recursion is a technique for defining number-theoretic functions by recursion. In a definition of a… 
Wikipedia (opens in a new tab)

Related topics

Related topics

9 relations
Arithmetical hierarchyGödel numberingGödel numbering for sequencesMutual recursion

Broader (1)

Computability theory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Structured Sharing for Dynamic Programming Extended Abstract
Dynamic programming is a technique for designing algorithms to solve certain optimisation problems. It is similar to the… 
2011
2011
Taylor Library: Copyright @ Fontbonne University: Course Reserves & Permissions
2004
2004
A Functional Language for Logarithmic Space
More than being just a tool for expressing algorithms, a well-designed programming language allows the user to express her ideas… 
1998
1998
A restricted computation model on Scott domains and its partial primitive recursive functionals
Abstract. The paper builds on both a simply typed term system ${\cal PR}^\omega$ and a computation model on Scott domains via so… 
1998
1998
On a relation between uniform coding and problems of the form DTIMEF( $\cal F$) =? DSPACEF( $\cal F)$
Abstract. If uniform coding (Gödelization) of potentially infinite sequences of numbers can be performed in PSPACEF, then PSPACE… 
1997
1997
A Safe Recursion Scheme for Exponential Time
Using a function algebra characterization of exponential time due to Monien [5], in the style of Bellantoni-Cook [2], we… 
1997
1997
Non-definability of the Ackermann function with type 1 partial primitive recursion
Abstract. The paper builds on a simply typed term system ${\cal PR}^\omega $ providing a notion of partial primitive recursive… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)