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.
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… 
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… 
2003
2003
Soft output detection for multiple antennas : Accelerated sphere decoding and shifted list enumeration
We propose a low complexity APP detector for demodulating QAM constellations transmitted on a MIMO channel (up to 16 antennas… 
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… 
1984
1984
Recursion via Pascal: Double recursion, mutual recursion, recursive calls
  • Rohl
  • 1984
  • Corpus ID: 60706369
1956
1956
Automatic Digital Encoding System, II (ADES II)
  • E. Blum
  • ACM '56
  • 1956
  • Corpus ID: 12798553
At the September 1955 Annual Meeting of A.C.M., the author presented a paper which described Automatic Digital Encoding System I… 
Review
1949
Review
1949
Review: Raphael M. Robinson, Recursion and Double Recursion
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)