scientific article; zbMATH DE number 53085
From MaRDI portal
Publication:4003336
abstract data typesalgebraic specificationfirst order predicate logicHoare logicHorn logiclogic of equationslogic programmingmany-sorted logicmodel theoryprogram verificationproof theoryterm rewriting systems
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Logic in computer science (03B70) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Logic programming (68N17) Logic in artificial intelligence (68T27)
Recommendations
Cited in
(29)- From Hilbert's program to a logic tool box
- Theory of logic programming. An elementary introduction
- 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
- scientific article; zbMATH DE number 1615755 (Why is no real title available?)
- Mathematical Logic for Computer Science
- scientific article; zbMATH DE number 46338 (Why is no real title available?)
- scientific article; zbMATH DE number 48608 (Why is no real title available?)
- scientific article; zbMATH DE number 49445 (Why is no real title available?)
- scientific article; zbMATH DE number 52096 (Why is no real title available?)
- scientific article; zbMATH DE number 194217 (Why is no real title available?)
- scientific article; zbMATH DE number 578242 (Why is no real title available?)
- scientific article; zbMATH DE number 595198 (Why is no real title available?)
- scientific article; zbMATH DE number 1361527 (Why is no real title available?)
- Characterizations of semicomputable sets of real numbers
- Logic in Computer Science
- scientific article; zbMATH DE number 777408 (Why is no real title available?)
- scientific article; zbMATH DE number 837700 (Why is no real title available?)
- scientific article; zbMATH DE number 1446599 (Why is no real title available?)
- Modeling complex systems and their validation -- general system theoretical approach
- Elementary logic. For software development
- scientific article; zbMATH DE number 2239771 (Why is no real title available?)
- scientific article; zbMATH DE number 4187082 (Why is no real title available?)
- Logic for computer scientists
- Logic: Reference Book for Computer Scientists
- Verification conditions are code
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4003336)
