Publication:4003336
From MaRDI portal
zbMath0755.68008MaRDI QIDQ4003336
Grigoris Antoniou, Volker Sperschneider
Publication date: 18 September 1992
model theory; proof theory; logic programming; algebraic specification; term rewriting systems; Hoare logic; program verification; abstract data types; Horn logic; many-sorted logic; first order predicate logic; logic of equations
68-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science
68T27: Logic in artificial intelligence
03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
03B70: Logic in computer science
68N17: Logic programming
Related Items
Verification conditions are code, The verification of modules, Operational concepts of nonmonotonic logics. I: Default logic, Operational characterization of extensions in some logics for default reasoning, Running programs backwards: The logical inversion of imperative computation, New proofs in default logic theory