scientific article
From MaRDI portal
Publication:2722041
zbMath0966.03010MaRDI QIDQ2722041
Publication date: 11 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Abstract data types; algebraic specification (68Q65) Mechanization of proofs and logical operations (03B35)
Related Items (max. 100)
Ultraproducts and possible worlds semantics in institutions ⋮ Stratified institutions and elementary homomorphisms ⋮ Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design ⋮ Categorical foundations for structured specifications in \(\mathsf{Z}\) ⋮ Saturated models in institutions
Uses Software
This page was built for publication:
