The Impact of Alan Turing: Formal Methods and Beyond

2019/01/01 by Jonathan P. Bowen · 2 citations
Computer Science · #Computability, Logic, AI Algorithms #Evolutionary Algorithms and Applications #Quantum Computing Algorithms and Architecture

paper · doi:10.1007/978-3-030-17601-3_5

crossref issued 2019/01/01 · crossref published 2019/01/01 · crossref published-print 2019/01/01 · openalex publication_date 2019/01/01 · crossref published-online 2019/04/14 · crossref created 2019/04/16 · crossref deposited 2025/09/08 · crossref indexed 2025/09/11 · openalex created_date 2025/10/10 · openalex updated_date 2026/08/04

Citations

• Formal Methods: State of the Art and New Directions
• The chemical basis of morphogenesis
• Alan Mathison Turing, 1912-1954
• I.—COMPUTING MACHINERY AND INTELLIGENCE
• On Computable Numbers, with an Application to the Entscheidungsproblem
• Quantum theory, the Church–Turing principle and the universal quantum computer
• Provably Correct Systems

Cited by

• Alan Turing [wikipedia]
• Alonzo Church [wikipedia]