scientific article
From MaRDI portal
Publication:4003336
zbMath0755.68008MaRDI QIDQ4003336
Volker Sperschneider, Grigoris Antoniou
Publication date: 18 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
model theoryproof theorylogic programmingalgebraic specificationterm rewriting systemsHoare logicprogram verificationabstract data typesHorn logicmany-sorted logicfirst order predicate logiclogic of equations
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Logic in artificial intelligence (68T27) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Logic in computer science (03B70) Logic programming (68N17)
Related Items
The verification of modules ⋮ Operational concepts of nonmonotonic logics. I: Default logic ⋮ Modeling Complex Systems and Their Validation—General System Theoretical Approach ⋮ Verification conditions are code ⋮ 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 ⋮ Characterizations of semicomputable sets of real numbers