Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 209,920,995 papers from all fields of science
Search
Sign In
Create Free Account
List of important publications in theoretical computer science
Known as:
Bibliography of theoretical computer science
, On Computable Numbers
This is a list of important publications in theoretical computer science, organized by field. Some reasons why a particular publication might be…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
Algorithm
Algorithmic information theory
Approximation algorithm
Combinatorica
Expand
Broader (1)
History of computer science
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
The machine as data: a computational view of emergence and definability
S. Cooper
Synthese
2015
Corpus ID: 7144135
Turing’s (Proceedings of the London Mathematical Society 42:230–265, 1936) paper on computable numbers has played its role in…
Expand
2013
2013
The Genius of Alan Turing: The Computing Classical Model
Luís Homem
2013
Corpus ID: 18386810
This paper aims to examine the basis of Calculus and computus from first philosophical principles, having a focus on the internal…
Expand
2004
2004
Cognitive Science and the Turing Machine: an Ecological Perspective
A. Wells
2004
Corpus ID: 57654051
The Turing machine model has been used by cognitive scientists to explain the internal structures and processes of the human mind…
Expand
2000
2000
Alan Mathison Turing
Coromoto León Hernández
,
C. León
2000
Corpus ID: 60975077
1991
1991
Vuillemin's Exact Real Arithmetic
D. Lester
Functional Programming
1991
Corpus ID: 5327566
If we are content with using only rational numbers, accurate computer arithmetic is easy to implement. Unfortunately, as was…
Expand
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)
ACCEPT & CONTINUE