Skip to search formSkip to main contentSkip to account menu

Double recursion

In recursive function theory, double recursion is an extension of primitive recursion which allows the definition of non-primitive recursive… 
Wikipedia

Related topics

Related topics

3 relations
Ackermann functionPrimitive recursive function

Broader (1)

Computability theory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
Round-Efficient Oblivious Database Manipulation
Most of the multi-party computation frameworks can be viewed as oblivious databases where data is stored and processed in a… 
2008
2008
Code construction algorithm for architecture aware LDPC codes with low-error-floor
  • D. Kania, W. Sułek
  • IEEE Region 8 International Conference on…
  • 2008
  • Corpus ID: 10573174
The common approach for the design of an error correction system is first to construct a code and then to define the hardware… 
Highly Cited
2007
Highly Cited
2007
Competence Implies Credibility
The (reputation for) competence of a central bank at doing its job makes monetary policy under discretion credible and… 
2007
2007
A Classification of Viruses Through Recursion Theorems
We study computer virology from an abstract point of view. Viruses and worms are self-replicating programs, whose constructions… 
2006
2006
65 Years from Birth of Prof. Gheorghe S. Nadiu (1941-1998)
In 1967, Gheorghe S. Nadiu publishes in “Mathematical studies and researches”, the article “On a method for the construction of… 
2000
2000
Multiple Recursion Conjugate Gradient Algorithms Part I: Sufficient Conditions
In this paper we show that a conjugate gradient method can be implemented using a short multiple recursion for a wider class of… 
1996
1996
On the bottom - up evaluation of recursive queries
In this article, we present an optimal bottom-up evaluation method for handling both linear and nonlinear recursion. Based on the… 
1993
1993
Recursion theory for metamathematics
1. Recursive Enumerability and Recursivity 2. Undecidability and Recursive Inseparability 3. Indexing 4. Generative Sets and… 
1981
1981
The Independence of Control Structures in Abstract Programming Systems
  • G. Riccardi
  • J. Comput. Syst. Sci.
  • 1981
  • Corpus ID: 39912379
1972
1972
Generation and Enumeration of All Solutions of the Characteristic Sum Condition
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License