scientific article; zbMATH DE number 58309

MaRDI QIDQ4005196zbMATH OpenFDO

Authors Paulo A. S. Veloso

Publication date 27 September 1992

zbMATH Keywords

conservative extensionsformal specifications

Mathematics Subject Classification ID

Basic properties of first-order languages and structures (03C07) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 4772
• Model-theoretic conservative extension for definitional theories
• scientific article; zbMATH DE number 8770
• On conservative extensions in logics with infinitary predicates
• scientific article; zbMATH DE number 3987256

Cited in

(11)

• On conservative extensions in logics with infinitary predicates
• Deciding inseparability and conservative extensions in the description logic
• Inseparability and conservative extensions of description logic ontologies: a survey
• On a conservative extension argument of Dana Scott
• Conservative extensions of abstract structures
• Formal Properties of Modularisation
• scientific article; zbMATH DE number 3987256 (Why is no real title available?)
• scientific article; zbMATH DE number 8770 (Why is no real title available?)
• scientific article; zbMATH DE number 4772 (Why is no real title available?)
• scientific article; zbMATH DE number 1860682 (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 Q4005196)