Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,226,767 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.
2017
2017
Metastatik Servikal Vertebra Radyoterapisinde Üç Boyutlu Konformal Radyoterapi, Volümetrik Ark Terapi ve Yoğunluk Ayarlı Radyoterapi Tekniklerinin Dozimetrik Açıdan Karşılaştırılması: Fantom Çalışmas…
Sonay Gedik
,
Sibel Kahraman Çetintaş
,
+5 authors
Merve Cinoğlu
2017
Corpus ID: 196507956
Bu calismanin amaci, servikal vertebra radyoterapisinde farkli tedavi planlama yontemlerinin kullanilmasinin, dozimetrik olarak…
Expand
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
2009
2009
PERENCANAAN SISTEM PEWADAHAN DAN PENGUMPULAN SAMPAH PEMUKIMAN PENDUDUKDI KELURAHAN MANUKAN KULON, SURABAYA
Sitti Muthia Hanum
2009
Corpus ID: 191886849
Perumahan di Manukan Kulon memiliki potensi untuk menjalankan salah satu dari program reduce, reuse, recycling, dan juga…
Expand
Review
2002
Review
2002
COMPARISON OF FOUR NUMERICAL METHODS FOR CALCULATING SEISMIC DYNAMIC RESPONSE OF SDOF SYSTEM
Xing Jin
,
Qiang Ma
,
Shan-You Li
2002
Corpus ID: 44029352
The main characteristics of the numerical methods for dynamic response analysis of single degree of freedom (SDOF) system in both…
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