Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Turing’s (Proceedings of the London Mathematical Society 42:230–265, 1936) paper on computable numbers has played its role in… 
2013
2013
This paper aims to examine the basis of Calculus and computus from first philosophical principles, having a focus on the internal… 
2004
2004
The Turing machine model has been used by cognitive scientists to explain the internal structures and processes of the human mind… 
1991
1991
  • 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…