Logic for computer scientists

zbMath0748.03001MaRDI QIDQ5905500

Uwe Schoening

Publication date: 18 September 1992

Published in: Progress in Computer Science and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

propositional logicPROLOGlogic programmingpredicate logicautomated deductionprogram verificationresolution-based theorem provingsemantics of programming languages

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35) Classical propositional logic (03B05) Logic programming (68N17)

Related Items

Invariant-free clausal temporal resolution, Unnamed Item, Hybrid-logical reasoning in the Smarties and Sally-Anne tasks