scientific article

zbMath0751.03013MaRDI QIDQ4005196

Paulo A. S. Veloso

Publication date: 27 September 1992

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

formal specificationsconservative extensions

Mathematics Subject Classification ID

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

Related Items (3)

Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey ⋮ Formal Properties of Modularisation ⋮ Deciding inseparability and conservative extensions in the description logic

This page was built for publication: