This is a list of important publications in theoretical computer science, organized by field. Some reasons why a particular publication might be… (More)

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

Review

2017

Review

2017

- David Israel
- Artif. Intell.
- 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?

2015

2012

2012

- Moshe Y. Vardi
- Commun. ACM
- 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

- Alan Turing’s Centenary, Philip D. Welch, Alan Mathison
- 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

- Janet Barnett, Guram Bezhanishvili, Hing Leung, Jerry Lodder, David Pengelley, Desh Ranjan
- 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

- John Andrew Lee
- ITiCSE-WGR '99
- 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)

Is this relevant?