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.
Copeland, B. Jack
and
Proudfoot, Diane
2004.
Alan Turing: Life and Legacy of a Great Thinker.
p.
317.
Davis, Martin
2004.
Alan Turing: Life and Legacy of a Great Thinker.
p.
195.
Hodges, Andrew
2004.
Alan Turing: Life and Legacy of a Great Thinker.
p.
43.
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.
Blakey, Ed
2017.
Advances in Unconventional Computing.
Vol. 22,
Issue. ,
p.
165.
Takeuti, Gaisi
and
Yasumoto, Masahiro
2017.
Gödel '96.
p.
120.
Kurshan, Robert P.
2018.
Handbook of Model Checking.
p.
763.
Auletta, Gennaro
2019.
The Quantum Mechanics Conundrum.
p.
365.
Neri, Ferrante
2021.
Teaching Mathematics to Computer Scientists: Reflections and a Case Study.
SN Computer Science,
Vol. 2,
Issue. 2,