scientific article; zbMATH DE number 8770

zbMATH Open0744.68103MaRDI QIDQ3971258FDOQ3971258

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

Publication date: 25 June 1992

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 4772
• scientific article; zbMATH DE number 58309
• scientific article; zbMATH DE number 3987256

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
• Conservative extension concepts for nonmonotonic knowledge bases
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)