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…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2015

Turing’s (Proceedings of the London Mathematical Society 42:230–265, 1936) paper on computable numbers has played its role in…

2013

This paper aims to examine the basis of Calculus and computus from first philosophical principles, having a focus on the internal…

2004

The Turing machine model has been used by cognitive scientists to explain the internal structures and processes of the human mind…

2000

1991

If we are content with using only rational numbers, accurate computer arithmetic is easy to implement. Unfortunately, as was…