Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,047,378 papers from all fields of science
Search
Sign In
Create Free Account
Kleene's recursion theorem
Known as:
Kleene Recursion Theorem
, Recursion theorem
, KRT
Expand
In computability theory, Kleene's recursion theorems are a pair of fundamental results about the application of computable functions to their own…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
20 relations
Admissible numbering
Complete numbering
Computable function
Denotational semantics
Expand
Broader (1)
Computability theory
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Kleene's Two Kinds of Recursion
G. A. Kavvos
arXiv.org
2016
Corpus ID: 16772549
This is an elementary expository article regarding the application of Kleene's Recursion Theorems in making definitions by…
Expand
2014
2014
A Study of Complementary Filter Algorithm for Four-rotor Helicopters Attitude Control System
Xiuhe Lu
,
Jianbo Li
,
Wanjun Liu
2014
Corpus ID: 28646293
The focus of this study is on the attitude estimation of the four-rotor helicopter known as quadrotor. The choice of the…
Expand
2010
2010
Multiuser switched diversity scheduling systems with per-user threshold
Haewoon Nam
,
Mohamed-Slim Alouini
IEEE Transactions on Communications
2010
Corpus ID: 11060533
A multiuser switched diversity scheduling scheme with per-user feedback threshold is proposed and analyzed in this paper. The…
Expand
2006
2006
Towards a Unified Treatment of Induction , I : The General Recursion Theorem
P. Taylor
2006
Corpus ID: 9984962
The recursive construction of a function f : A → Θ consists, paradigmatically, of finding a functor T and maps α : A→ TA and…
Expand
1997
1997
On properties of Kleene TDDs
Y. Iguchi
,
Tsutomu Sasao
,
M. Matsuura
Asia and South Pacific Design Automation…
1997
Corpus ID: 8286740
Three types of ternary decision diagrams (TDDs) are considered: AND-TDDs, EXOR-TDDs, and Kleene-TDDs. Kleene-TDDs are useful for…
Expand
1995
1995
Variable Selection through Statistical Sensibility Analysis: Application to Feedforward and Recurrent Neural Networks.
T. Czernichow
,
A. Muñoz
1995
Corpus ID: 1449858
In this paper a method for the analysis of the influence input variables have on the output of a fitted model is presented. It is…
Expand
1994
1994
Concept Formation During Interactive Theory Revision
S. Wrobel
Machine-mediated learning
1994
Corpus ID: 694187
This article examines the problem of concept formation in machine learning, and focuses in particular on the problem of…
Expand
1988
1988
The blow-up surface for nonlinear wave equations with small spatial velocity
A. Friedman
,
L. Oswald
1988
Corpus ID: 54010167
On considere le probleme de Cauchy pour u tt -e 2 Δu=f(u) a d dimensions d'espace≤3, ou f(u) est superlineaire et non negative…
Expand
1987
1987
Powers of generators of holomorphic semigroups
R. Delaubenfels
1987
Corpus ID: 120259261
We show that when the (possibly unbounded) linear operator -A generates a bounded holomorphic semigroup of angle 6, and n(7r/2 6…
Expand
1973
1973
Easy constructions in complexity theory: Gap and speed-up theorems
Paul Young
1973
Corpus ID: 27045186
Perhaps the two most basic phenomena discovered by the recent application of recursion theoretic methods to the developing…
Expand