An Early Program Proof by Alan Turing

DOI10.1109/MAHC.1984.10017zbMath0998.01521MaRDI QIDQ4779240

No author found.

Publication date: 25 November 2002

Published in: IEEE Annals of the History of Computing (Search for Journal in Brave)

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of computer science (68-03)

Related Items

Weights for total division orderings on strings, Combining Model Checking and Deduction, A personal account of Turing's imprint on the development of computer science, Unnamed Item, Fifty years of Hoare's logic, Turing oracle machines, online computing, and three displacements in computability theory