Proving Church’s Thesis

(Abstract)
  • Yuri Gurevich
Conference paper

DOI: 10.1007/978-3-540-74510-5_1

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4649)
Cite this paper as:
Gurevich Y. (2007) Proving Church’s Thesis. In: Diekert V., Volkov M.V., Voronkov A. (eds) Computer Science – Theory and Applications. CSR 2007. Lecture Notes in Computer Science, vol 4649. Springer, Berlin, Heidelberg

Abstract

The talk reflects recent joint work with Nachum Dershowitz [4].

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Yuri Gurevich
    • 1
  1. 1.Microsoft Research 

Personalised recommendations