scientific article; zbMATH DE number 4043224

MaRDI QIDQ3780419zbMATH OpenFDO

Authors Thomas Käufl

Publication date 1987

zbMATH Keywords

decision procedureEnumeration typesPascalprogram verificationreductionsimplifiertheories with finite model

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Deciding Combinations of Theories
• Finite Quantification in Hierarchic Theorem Proving
• scientific article; zbMATH DE number 2185686
• Computing finite models by reduction to function-free clause logic
• The small model property: How small can it be?

Cited in

(6)

• On representing concepts in finite models
• scientific article; zbMATH DE number 2185686 (Why is no real title available?)
• scientific article; zbMATH DE number 4164122 (Why is no real title available?)
• Nearly Model Complete Theories
• scientific article; zbMATH DE number 2050352 (Why is no real title available?)
• Truth definitions in finite models

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 Q3780419)