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 (opens in a new tab)

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… 
2017
2017
Image and Graphics
One of the main tasks in image restoration is to catch the picture characteristics such as interfaces and textures from… 
2013
2013
Several graph sequences as solutions of a double recurrence
We describe the combinatorics that arise in summing a double recursion formula for the enumeration of connected Feynman graphs in… 
2013
2013
High-precision frequency estimation algorithm based on double recursion adaptive filtering
According to problems existed in the previous research studies about the detection and frequency estimation of a line-spectrum… 
2008
2008
Code construction algorithm for architecture aware LDPC codes with low-error-floor
  • D. KaniaW. 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… 
2008
2008
Infinitary Simultaneous Recursion Theorem
We prove an innitary version of the Double Recursion Theorem of Smullyan. We give some applications which show how this form of… 
2007
2007
Dynamical systems with double recursion are undecidable
A primitive type of two-dimensional dynamic system is introduced. It is shown that there is no decision procedure able to answer… 
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… 
2004
2004
Another Proof of an Extension of a Curious Identity
Based on Jensen formulae and the second kind of Chebyshev polynomials, another proof is presented for an extension of a curious… 
1994
1994
A Transformation scheme for double recursion
A tail recursive program (with a single recursive call per case) is derived from a generic recursive program with two independent… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)