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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1936-2017
02419362016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2017
Review
2017
Hector Levesque, a distinguished AI researcher, an AAAI Fellow, etc., etc., surely well known to all readers of this journal, has… (More)
Is this relevant?
2012
2012
This may seem to be a strange question to ask just before the Turing Centenary Year, which is now being celebrated by numerous… (More)
Is this relevant?
Review
2012
Review
2012
We review two of Alan Turing’s chief publications in mathematical logic: the classic 1936 paper On Computable Numbers [9] and the… (More)
Is this relevant?
2011
2011
  • 2011
We should like to link Turing’s construction in Systems of Logic based on Ordinals on progressions of theories, with some recent… (More)
Is this relevant?
2006
2006
In the United States a course in discrete mathematics is a relatively recent addition, within the last 30 or 40 years, to the… (More)
Is this relevant?
2006
2006
  • 2006
The "computable" numbers may be described briefly as the real numbers whose expressions as a decimal are calculable by finite… (More)
Is this relevant?
2001
2001
  • 2001
The following section comes from the second chapter of L. Floridi, Philosophy and Computing (London: Routledge, forthcoming). It… (More)
Is this relevant?
1999
1999
T he Second NSF sponsored "Workshop on Teaching Ethics and Comput ing" at the University o f South Florida <http : / /marathon… (More)
Is this relevant?
Highly Cited
1936
Highly Cited
1936
  • Universal Turing, Machine R I P
  • 1936
Cryptographers agree that homogeneous archetypes are an interesting new topic in the field of software engineering, and… (More)
  • figure 1
  • figure 3
  • figure 4
  • figure 5
Is this relevant?