Seventy Years of Computer Science

DOI10.1007/978-3-030-48006-6_8OpenAlexW3026975427MaRDI QIDQ5049043

Martin Davis

Publication date: 9 November 2022

Published in: Fields of Logic and Computation III (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-48006-6_8

zbMATH Keywords

neural netcomputabilityrecursive functionsSATACETuringuniversalPresburger arithmetichypercomputationNPCopelandlinked conjunctobvious inferencesORDVACtest data adequacy

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of computing (68Qxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Martin Davis on computability, computational logic, and mathematical foundations
• Alan Turing: Life and Legacy of a Great Thinker
• An improved proof procedure1
• DPLL: The Core of Modern Satisfiability Solvers
• A formal notion of program-based test data adequacy
• Metric Space-based Test-data Adequacy Criteria
• An Implementation of the Model Elimination Proof Procedure
• A Machine-Oriented Logic Based on the Resolution Principle
• A Computing Procedure for Quantification Theory

This page was built for publication: Seventy Years of Computer Science