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.
2017
2017
One of the main tasks in image restoration is to catch the picture characteristics such as interfaces and textures from… Expand
Is this relevant?
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
Is this relevant?
2007
2007
We study computer virology from an abstract point of view. Viruses and worms are self-replicating programs, whose constructions… Expand
Is this relevant?
2007
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
Is this relevant?
2006
2006
Register machine programs provide explicit proofs of the sn -Theorem, Kleene’s Second Recursion Theorem, and Smullyan’s Double… Expand
  • figure 1
  • figure 2
Is this relevant?
2004
2004
The formal specifics of Samuel Beckett's writing have so far been redescribed in terms of mysticism, ordinary language philosophy… Expand
  • figure 1
Is this relevant?
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
Is this relevant?
1999
1999
  • Yigao Liang
  • Transportation Science
  • 1999
  • Corpus ID: 44683580
We formulate the yield management problem as a continuous time, stochastic, dynamic programming model. We derive an expression… Expand
Is this relevant?
1993
1993
1. Recursive Enumerability and Recursivity 2. Undecidability and Recursive Inseparability 3. Indexing 4. Generative Sets and… Expand
Is this relevant?
1948
1948
 
Is this relevant?