![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Turing's Legacy 2014
- Rod Downey:
Turing's Legacy: Developments from Turing's Ideas in Logic. Lecture Notes in Logic 42, Cambridge University Press 2014, ISBN 9781107338579 - Turing's legacy: developments from Turing's ideas in logic. vii-x
- Jeremy Avigad, Vasco Brattka
:
Computability and analysis: the legacy of Alan Turing. 1-47 - Lenore Blum:
Alan Turing and the other theory of computation (expanded). 48-69 - Harry Buhrman:
Turing in Quantumland. 70-89 - Rod Downey:
Computability theory, algorithmic randomness and Turing's anticipation. 90-123 - Ekaterina B. Fokina, Valentina S. Harizanov, Alexander G. Melnikov
:
Computable model theory. 124-194 - Cameron E. Freer, Daniel M. Roy, Joshua B. Tenenbaum:
Towards common-sense reasoning via conditional simulation: legacies of Turing in Artificial Intelligence. 195-252 - Thomas C. Hales:
Mathematics in the age of the Turing machine. 253-298 - Steven Homer, Alan L. Selman:
Turing and the development of computational complexity. 299-328 - Charles F. Miller:
Turing machines to word problems. 329-385 - Anil Nerode:
Musings on Turing's Thesis. 386-396 - Dag Normann:
Higher generalizations of the Turing Model. 397-433 - Wilfried Sieg:
Step by recursive step: Church's analysis of effective calculability. 434-466 - Robert Irving Soare:
Turing and the discovery of computability. 467-492 - Philip D. Welch:
Transfinite machine models. 493-529
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.