scientific article; zbMATH DE number 4084979

MaRDI QIDQ3814769zbMATH OpenFDO

Authors Martin Davis

Publication date 1988

zbMATH Keywords

LISPlogic programmingPROLOG

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) General topics in the theory of software (68N01) 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

(13)

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