Publication:4040458
From MaRDI portal
zbMath0698.68001MaRDI QIDQ4040458
Richard Waldinger, Zohar Manna
Publication date: 5 June 1993
unification; Skolem functions; deductive system; tableaux method; formal content of proofs in first-order logic; general resolution rule; proof by well-founded induction; proof systems of propositional and predicate logic; theory of expressions
68-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science
03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
Related Items
Direct deductive computation on discourse representation structures, Logical foundations for programming semantics, Synthesis and equivalence of concurrent systems, Constructing specification morphisms