You are currently offline. Some features of the site may not work correctly.

# 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… Expand
Wikipedia

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
• ArXiv
• 2018
• Corpus ID: 54153994
In the categorical setting, histomorphisms model a course-of-value recursion scheme that allows functions to be defined using… Expand
2018
2018
• 2018
• Corpus ID: 54181977
In the categorical setting, histomorphisms model a courseof-value recursion scheme that allows functions to be defined using… Expand
2013
2013
Dynamic programming is a technique for designing algorithms to solve certain optimisation problems. It is similar to the… Expand
2008
2008
Course-of-value recursion is a scheme which allows us to define the value of a function in some argument of an inductive… Expand
2004
2004
More than being just a tool for expressing algorithms, a well-designed programming language allows the user to express her ideas… Expand
1997
1997
Using a function algebra characterization of exponential time due to Monien [5], in the style of Bellantoni-Cook [2], we… Expand
1997
1997
Abstract. The paper builds on a simply typed term system ${\cal PR}^\omega$ providing a notion of partial primitive recursive… Expand
1994
1994
• C. Smith
• Graduate Texts in Computer Science
• 1994
• Corpus ID: 206656265
From the Publisher: The aim of this textbook is to present an account of the theory of computation. After introducing the… Expand
1992
1992
• MFCS
• 1992
• Corpus ID: 24240595
The theory of computable functions on abstract data types is outlined. Methods for extending the theory to establish the scope… Expand