Turing's Legacy
Latest Publications

TOTAL DOCUMENTS

15
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Cambridge University Press

9781107338579
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Musings on Turing's Thesis

2014 ◽  
pp. 386-396
Author(s):  
Anil Nerode

Turing's legacy: developments from Turing's ideas in logic

2014 ◽  
pp. vii-x ◽  
Author(s):  
Rod Downey

scholarly journals Computability and analysis: the legacy of Alan Turing

2014 ◽  
pp. 1-47 ◽  
Author(s):  
Jeremy Avigad ◽  
Vasco Brattka
Keyword(s):  
Alan Turing

Turing in Quantumland

2014 ◽  
pp. 70-89
Author(s):  
Harry Buhrman

Computable model theory

2014 ◽  
pp. 124-194 ◽  
Author(s):  
Ekaterina B. Fokina ◽  
Valentina Harizanov ◽  
Alexander Melnikov
Keyword(s):  
Model Theory ◽  
Computable Model ◽  
Computable Model Theory

scholarly journals Towards common-sense reasoning via conditional simulation: legacies of Turing in Artificial Intelligence

2014 ◽  
pp. 195-252 ◽  
Author(s):  
Cameron E. Freer ◽  
Daniel M. Roy ◽  
Joshua B. Tenenbaum
Keyword(s):  
Artificial Intelligence ◽  
Common Sense ◽  
Conditional Simulation ◽  
Common Sense Reasoning

scholarly journals Mathematics in the age of the Turing machine

2014 ◽  
pp. 253-298 ◽  
Author(s):  
Thomas C. Hales
Keyword(s):  
Turing Machine

scholarly journals Turing and the development of computational complexity

2014 ◽  
pp. 299-328
Author(s):  
Steven Homer ◽  
Alan L. Selman
Keyword(s):  
Computational Complexity

Turing and the discovery of computability

2014 ◽  
pp. 467-492
Author(s):  
Robert Irving Soare

Step by recursive step: Church's analysis of effective calculability

2014 ◽  
pp. 434-466
Author(s):  
Wilfried Sieg
Load More ...
Sign in / Sign up

Export Citation Format

Share Document