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

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… 
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… 
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… 
2007
2007
We study computer virology from an abstract point of view. Viruses and worms are self-replicating programs, whose constructions… 
2006
2006
In 1967, Gheorghe S. Nadiu publishes in “Mathematical studies and researches”, the article “On a method for the construction of… 
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… 
1996
1996
In this article, we present an optimal bottom-up evaluation method for handling both linear and nonlinear recursion. Based on the… 
1993
1993
1. Recursive Enumerability and Recursivity 2. Undecidability and Recursive Inseparability 3. Indexing 4. Generative Sets and…