scientific article; zbMATH DE number 4084979

zbMATH Open0663.68012MaRDI QIDQ3814769FDOQ3814769

Authors: Martin Davis 

Publication date: 1988

Title of this publication is not available (Why is that?)

Recommendations

• Symbioses between mathematical logic and computer science
• Personal Reflections on the Role of Mathematical Logic in Computer Science
• scientific article; zbMATH DE number 4039834
• On the unusual effectiveness of logic in computer science
• scientific article; zbMATH DE number 1926652

zbMATH Keywords

logic programmingPROLOGLISP

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Philosophical and critical aspects of logic and foundations (03A05) Artificial intelligence (68T99)

Cited In (11)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Symbioses between mathematical logic and computer science
• My Life as a Logician
• On the unusual effectiveness of logic in computer science
• Metamathematical fundamental concepts of computer programming
• Title not available (Why is that?)
• From universal logic to computer science, and back
• Personal Reflections on the Role of Mathematical Logic in Computer Science
• On building constructive formal theories of computation noting the roles of Turing, Church, and Brouwer
• From mathematical logic to programming-language semantics: a discussion with Tony Hoare

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3814769)