scientific article
From MaRDI portal
Publication:3971258
zbMath0744.68103MaRDI QIDQ3971258
Paulo A. S. Veloso, Sheila R. M. Veloso
Publication date: 25 June 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Classical first-order logic (03B10)
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:
