scientific article; zbMATH DE number 8770

MaRDI QIDQ3971258zbMATH OpenFDO

Authors Paulo A. S. Veloso, Sheila R. M. Veloso

Publication date 25 June 1992

zbMATH Keywords

model expansionconservative extensionformal specificationsabstract data types

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Classical first-order logic (03B10) Abstract data types; algebraic specification (68Q65)

Cited in

(8)

• On a conservative extension argument of Dana Scott
• Deciding inseparability and conservative extensions in the description logic
• Formal Properties of Modularisation
• Inseparability and conservative extensions of description logic ontologies: a survey
• scientific article; zbMATH DE number 3987256 (Why is no real title available?)
• Conservative extension concepts for nonmonotonic knowledge bases
• scientific article; zbMATH DE number 58309 (Why is no real title available?)
• Tait's conservative extension theorem revisited

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