Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 205,183,822 papers from all fields of science
Search
Sign In
Create Free Account
Double recursion
In recursive function theory, double recursion is an extension of primitive recursion which allows the definition of non-primitive recursive…
Expand
Wikipedia
Create Alert
Alert
Related topics
Related topics
3 relations
Ackermann function
Primitive recursive function
Broader (1)
Computability theory
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
Round-Efficient Oblivious Database Manipulation
S. Laur
,
J. Willemson
,
Bingsheng Zhang
ISC
2011
Corpus ID: 2182071
Most of the multi-party computation frameworks can be viewed as oblivious databases where data is stored and processed in a…
Expand
2008
2008
Code construction algorithm for architecture aware LDPC codes with low-error-floor
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…
Expand
Highly Cited
2007
Highly Cited
2007
Competence Implies Credibility
G. Moscarini
2007
Corpus ID: 4515339
The (reputation for) competence of a central bank at doing its job makes monetary policy under discretion credible and…
Expand
2007
2007
A Classification of Viruses Through Recursion Theorems
Guillaume Bonfante
,
M. Kaczmarek
,
J. Marion
CiE
2007
Corpus ID: 13275120
We study computer virology from an abstract point of view. Viruses and worms are self-replicating programs, whose constructions…
Expand
2006
2006
65 Years from Birth of Prof. Gheorghe S. Nadiu (1941-1998)
Ioan Dzitac
,
L. Andrei
Int. J. Comput. Commun. Control
2006
Corpus ID: 124514878
In 1967, Gheorghe S. Nadiu publishes in “Mathematical studies and researches”, the article “On a method for the construction of…
Expand
2000
2000
Multiple Recursion Conjugate Gradient Algorithms Part I: Sufficient Conditions
T. Barth
,
T. Manteuffel
SIAM J. Matrix Anal. Appl.
2000
Corpus ID: 207080735
In this paper we show that a conjugate gradient method can be implemented using a short multiple recursion for a wider class of…
Expand
1996
1996
On the bottom - up evaluation of recursive queries
Yangjun Chen
Int. J. Intell. Syst.
1996
Corpus ID: 13296477
In this article, we present an optimal bottom-up evaluation method for handling both linear and nonlinear recursion. Based on the…
Expand
1993
1993
Recursion theory for metamathematics
R. Smullyan
Oxford logic guides
1993
Corpus ID: 117186498
1. Recursive Enumerability and Recursivity 2. Undecidability and Recursive Inseparability 3. Indexing 4. Generative Sets and…
Expand
1981
1981
The Independence of Control Structures in Abstract Programming Systems
G. Riccardi
J. Comput. Syst. Sci.
1981
Corpus ID: 39912379
1972
1972
Generation and Enumeration of All Solutions of the Characteristic Sum Condition
S. Even
,
A. Lempel
Inf. Control.
1972
Corpus ID: 40056192
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