Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Double recursion

In recursive function theory, double recursion is an extension of primitive recursion which allows the definition of non-primitive recursive… Expand
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… Expand
  • table 1
  • table 2
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… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
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… Expand
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… Expand
  • figure 1
  • figure 2
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… Expand
2006
2006
Recursion Theorems and Self-Replication Via Text Register Machine Programs
  • L. Moss
  • Bull. EATCS
  • 2006
    • Corpus ID: 35898839
Register machine programs provide explicit proofs of the sn -Theorem, Kleene’s Second Recursion Theorem, and Smullyan’s Double… Expand
  • figure 1
  • figure 2
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… Expand
  • figure 5.2
  • figure 5.3
1996
1996
On the bottom - up evaluation of recursive queries
  • Y. Chen
  • Int. J. Intell. Syst.
  • 1996
    • Corpus ID: 13296477
In this paper, we present an optimal bottom-up evaluation method for handling both linear and non-linear recursion. Based on the… Expand
  • figure 1
  • figure 2
  • figure 3
1993
1993
Recursion theory for metamathematics
1. Recursive Enumerability and Recursivity 2. Undecidability and Recursive Inseparability 3. Indexing 4. Generative Sets and… Expand
1948
1948
Recursion and double recursion
 
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
ACCEPT & CONTINUE