ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
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
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
Musings on Turing's Thesis
Turing's Legacy
◽
10.1017/cbo9781107338579.011
◽
2014
◽
pp. 386-396
Author(s):
Anil Nerode
Download Full-text
Computability and analysis: the legacy of Alan Turing
Turing's Legacy
◽
10.1017/cbo9781107338579.002
◽
2014
◽
pp. 1-47
◽
Cited By ~ 29
Author(s):
Jeremy Avigad
◽
Vasco Brattka
Keyword(s):
Alan Turing
Download Full-text
Turing's legacy: developments from Turing's ideas in logic
Turing's Legacy
◽
10.1017/cbo9781107338579.001
◽
2014
◽
pp. vii-x
◽
Cited By ~ 1
Author(s):
Rod Downey
Download Full-text
Turing in Quantumland
Turing's Legacy
◽
10.1017/cbo9781107338579.004
◽
2014
◽
pp. 70-89
Author(s):
Harry Buhrman
Download Full-text
Computable model theory
Turing's Legacy
◽
10.1017/cbo9781107338579.006
◽
2014
◽
pp. 124-194
◽
Cited By ~ 15
Author(s):
Ekaterina B. Fokina
◽
Valentina Harizanov
◽
Alexander Melnikov
Keyword(s):
Model Theory
◽
Computable Model
◽
Computable Model Theory
Download Full-text
Mathematics in the age of the Turing machine
Turing's Legacy
◽
10.1017/cbo9781107338579.008
◽
2014
◽
pp. 253-298
◽
Cited By ~ 2
Author(s):
Thomas C. Hales
Keyword(s):
Turing Machine
Download Full-text
Towards common-sense reasoning via conditional simulation: legacies of Turing in Artificial Intelligence
Turing's Legacy
◽
10.1017/cbo9781107338579.007
◽
2014
◽
pp. 195-252
◽
Cited By ~ 1
Author(s):
Cameron E. Freer
◽
Daniel M. Roy
◽
Joshua B. Tenenbaum
Keyword(s):
Artificial Intelligence
◽
Common Sense
◽
Conditional Simulation
◽
Common Sense Reasoning
Download Full-text
Turing machines to word problems
Turing's Legacy
◽
10.1017/cbo9781107338579.010
◽
2014
◽
pp. 329-385
◽
Cited By ~ 1
Author(s):
Charles F. Miller
Keyword(s):
Word Problems
◽
Turing Machines
Download Full-text
Computability theory, algorithmic randomness and Turing's anticipation
Turing's Legacy
◽
10.1017/cbo9781107338579.005
◽
2014
◽
pp. 90-123
Author(s):
Rod Downey
Keyword(s):
Computability Theory
◽
Algorithmic Randomness
Download Full-text
Step by recursive step: Church's analysis of effective calculability
Turing's Legacy
◽
10.1017/cbo9781107338579.013
◽
2014
◽
pp. 434-466
Author(s):
Wilfried Sieg
Download Full-text
Load More ...
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close