scientific article; zbMATH DE number 4084979

MaRDI QIDQ3814769zbMATH OpenFDO

Authors Martin Davis

Publication date 1988

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)

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

Cited in

(11)

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

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)