Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Hilbert, D.
and
Bernays, Paul
1970.
Grundlagen der Mathematik II.
p.
406.
Marcer, Peter J.
1992.
Nature, Cognition and System II.
p.
283.
Sieg, Wilfried
and
Byrnes, John
1996.
Gödel ’96.
Vol. 6,
Issue. ,
p.
98.
Hodges, Andrew
2004.
Alan Turing: Life and Legacy of a Great Thinker.
p.
43.
Davis, Martin
2004.
Alan Turing: Life and Legacy of a Great Thinker.
p.
195.
Copeland, B. Jack
and
Proudfoot, Diane
2004.
Alan Turing: Life and Legacy of a Great Thinker.
p.
317.
Anderson, David
2007.
Max Newman: Topologist, Codebreaker, and Pioneer of Computing.
IEEE Annals of the History of Computing,
Vol. 29,
Issue. 3,
p.
76.
Copeland, B. Jack
and
Proudfoot, Diane
2007.
Philosophy of Psychology and Cognitive Science.
p.
429.
Soare, Robert I.
2009.
Turing oracle machines, online computing, and three displacements in computability theory.
Annals of Pure and Applied Logic,
Vol. 160,
Issue. 3,
p.
368.
Sieg, Wilfried
2009.
Philosophy of Mathematics.
p.
535.
Liebig, Hans
2011.
Konrad Zuse, Erfinder des Computers – im Vergleich mit Alan Turing und John v. Neumann.
Informatik-Spektrum,
Vol. 34,
Issue. 6,
p.
553.
Anguera de Sojo, Aurea
Ares, Juan
Lara, Juan A.
Lizcano, David
Martínez, María A.
and
Pazos, Juan
2013.
Turing and the Serendipitous Discovery of the Modern Computer.
Foundations of Science,
Vol. 18,
Issue. 3,
p.
545.
Sieg, Wilfried
2014.
Turing's Legacy.
p.
434.
Soare, Robert Irving
2014.
Turing's Legacy.
p.
467.
Ciaffaglione, Alberto
2015.
Formal Methods: Foundations and Applications.
Vol. 8941,
Issue. ,
p.
80.
Takeuti, Gaisi
and
Yasumoto, Masahiro
2017.
Gödel '96.
p.
120.
Blakey, Ed
2017.
Advances in Unconventional Computing.
Vol. 22,
Issue. ,
p.
165.
Kurshan, Robert P.
2018.
Handbook of Model Checking.
p.
763.
Auletta, Gennaro
2019.
The Quantum Mechanics Conundrum.
p.
365.
Yu, Mingyi
2021.
The Algorithm Concept, 1684–1958.
Critical Inquiry,
Vol. 47,
Issue. 3,
p.
592.