default search action

combined dblp search
author search
venue search
publication search

ask others

Turing's Legacy 2014

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > (missing label)

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - books/cu/D2014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/cu/D2014
Rod Downey:
Turing's Legacy: Developments from Turing's Ideas in Logic. Lecture Notes in Logic 42, Cambridge University Press 2014, ISBN 9781107338579
- view
  authority control:
- export record
  dblp key:
  - books/cu/p/X14d
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/cu/p/X14d
Turing's legacy: developments from Turing's ideas in logic. vii-x
- view
  authority control:
- export record
  dblp key:
  - books/cu/p/AvigadB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/cu/p/AvigadB14
Jeremy Avigad, Vasco Brattka:
Computability and analysis: the legacy of Alan Turing. 1-47
- view
  authority control:
- export record
  dblp key:
  - books/cu/p/Blum14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/cu/p/Blum14
Lenore Blum:
Alan Turing and the other theory of computation (expanded). 48-69
- view
  authority control:
- export record
  dblp key:
  - books/cu/p/Buhrman14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/cu/p/Buhrman14
Harry Buhrman:
Turing in Quantumland. 70-89
- view
  authority control:
- export record
  dblp key:
  - books/cu/p/Downey14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/cu/p/Downey14
Rod Downey:
Computability theory, algorithmic randomness and Turing's anticipation. 90-123
- view
  authority control:
- export record
  dblp key:
  - books/cu/p/FokinaHM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/cu/p/FokinaHM14
Ekaterina B. Fokina, Valentina S. Harizanov, Alexander G. Melnikov:
Computable model theory. 124-194
- view
  authority control:
- export record
  dblp key:
  - books/cu/p/FreerRT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/cu/p/FreerRT14
Cameron E. Freer, Daniel M. Roy, Joshua B. Tenenbaum:
Towards common-sense reasoning via conditional simulation: legacies of Turing in Artificial Intelligence. 195-252
- view
  authority control:
- export record
  dblp key:
  - books/cu/p/Hales14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/cu/p/Hales14
Thomas C. Hales:
Mathematics in the age of the Turing machine. 253-298
- view
  authority control:
- export record
  dblp key:
  - books/cu/p/HomerS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/cu/p/HomerS14
Steven Homer, Alan L. Selman:
Turing and the development of computational complexity. 299-328
- view
  authority control:
- export record
  dblp key:
  - books/cu/p/Miller14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/cu/p/Miller14
Charles F. Miller:
Turing machines to word problems. 329-385
- view
  authority control:
- export record
  dblp key:
  - books/cu/p/Nerode14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/cu/p/Nerode14
Anil Nerode:
Musings on Turing's Thesis. 386-396
- view
  authority control:
- export record
  dblp key:
  - books/cu/p/Normann14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/cu/p/Normann14
Dag Normann:
Higher generalizations of the Turing Model. 397-433
- view
  authority control:
- export record
  dblp key:
  - books/cu/p/Sieg14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/cu/p/Sieg14
Wilfried Sieg:
Step by recursive step: Church's analysis of effective calculability. 434-466
- view
  authority control:
- export record
  dblp key:
  - books/cu/p/Soare14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/cu/p/Soare14
Robert Irving Soare:
Turing and the discovery of computability. 467-492
- view
  authority control:
- export record
  dblp key:
  - books/cu/p/Welch14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/cu/p/Welch14
Philip D. Welch:
Transfinite machine models. 493-529

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.