scientific article

zbMath0755.68008MaRDI QIDQ4003336

Volker Sperschneider, Grigoris Antoniou

Publication date: 18 September 1992

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

model theoryproof theorylogic programmingalgebraic specificationterm rewriting systemsHoare logicprogram verificationabstract data typesHorn logicmany-sorted logicfirst order predicate logiclogic of equations

Mathematics Subject Classification ID

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 (8)

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

This page was built for publication: