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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
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
  • 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
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
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
In 1967, Gheorghe S. Nadiu publishes in “Mathematical studies and researches”, the article “On a method for the construction of… Expand
2006
2006
  • 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
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
  • 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
1. Recursive Enumerability and Recursivity 2. Undecidability and Recursive Inseparability 3. Indexing 4. Generative Sets and… Expand
1948
1948