Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,976,305 papers from all fields of science
Search
Sign In
Create Free Account
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
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
9 relations
Arithmetical hierarchy
Gödel numbering
Gödel numbering for sequences
Mutual recursion
Expand
Broader (1)
Computability theory
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Taylor Library: Copyright @ Fontbonne University: Course Reserves & Permissions
Rebecca van Kniest
2011
Corpus ID: 230362407