Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,672,364 papers from all fields of science
Search
Sign In
Create Free Account
Computability theory
Known as:
Recursion theory
, Turing computability
, Theory of computability
Expand
Computability theory, also called recursion theory, is a branch of mathematical logic, of computer science, and of the theory of computation that…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
Admissible numbering
Alpha recursion theory
Analog computer
Analog signal processing
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2005
2005
Basic algorithms in computational geometry with imprecise input
A. Khanban
2005
Corpus ID: 12265908
A method and an apparatus for cache lock control are designed for use with a cache memory. The cache memory has divided entries…
Expand
2002
2002
SOME APPLICA ALGORITHM I
P. E. Boas
2002
Corpus ID: 207846329
The McCreight-Meyer algorithm is a pi;ority-queue construction irom abstract recursion theory which was designed for the prcof of…
Expand
1995
1995
Rabin Measures
Nils Klarlund
,
D. Kozen
Chicago journal of theoretical computer science
1995
Corpus ID: 14854225
Rabin conditions are a general class of properties of infinite seAbstract-1 quences that encompass most known automata-theoretic…
Expand
1994
1994
Two Refinements of the Polynomial Hierarcht
V. Selivanov
Symposium on Theoretical Aspects of Computer…
1994
Corpus ID: 39713299
We introduce and study two classifications refining the polynomial hierarchy. Both extend the difference hierarchy over NP and…
Expand
1991
1991
Contributions to recursion theory
David Seetapun
1991
Corpus ID: 118365658
Review
1990
Review
1990
Review: Stephen C. Kleene, Origins of Recursive Function Theory; Martin Davis, Why Godel Didn't have Church's Thesis; Stephen C. Kleene, Reflections on Church's Thesis
S. Shapiro
1990
Corpus ID: 119859942
1988
1988
Partial Objects in Type Theory
Scott F. Smith
1988
Corpus ID: 118700754
Intuitionistic type theories, originally developed by Martin-Lof, provide a foundation for intuitionistic mathematics, much as…
Expand
Review
1983
Review
1983
Some recent developments in higher recursion theory
S. Friedman
Journal of Symbolic Logic (JSL)
1983
Corpus ID: 30840965
Abstract In recent years higher recursion theory has experienced a deep interaction with other areas of logic, particularly set…
Expand
1979
1979
Generic sets and minimal -degrees
C. Chong
1979
Corpus ID: 53999251
A non-a-recursive subset G of an admissible ordinal a is of minimal a-degree if every set of strictly lower a-degree than that of…
Expand
1975
1975
Recursion theory and descriptive set theory in effectively given T0 spaces
Shunqing. Tang
1975
Corpus ID: 117063681