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.
2017
2017
A Double Recursion Algorithm to Image Restoration from Random Limited Frequency Data
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
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
Is this relevant?
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
Is this relevant?
2007
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
Is this relevant?
2006
2006
Recursion Theorems and Self-Replication Via Text Register Machine Programs
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
"Twofold Vibration": Samuel Beckett's Laws of Form
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
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
Is this relevant?
1999
1999
Solution to the Continuous Time Dynamic Yield Management Model
  • 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
Recursion theory for metamathematics
1. Recursive Enumerability and Recursivity 2. Undecidability and Recursive Inseparability 3. Indexing 4. Generative Sets and… Expand
Is this relevant?
1948
1948
Recursion and double recursion
 
Is this relevant?
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