scientific article; zbMATH DE number 1929971
From MaRDI portal
Publication:4708606
zbMath1014.68098MaRDI QIDQ4708606
Publication date: 18 June 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2420/24200593.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65) Categorical semantics of formal languages (18C50)
Related Items (12)
Development graphs -- proof management for structured specifications ⋮ Interpolation in Grothendieck institutions ⋮ Generalized Theoroidal Institution Comorphisms ⋮ Heterogeneous Logical Environments for Distributed Specifications ⋮ Introducing \(H\), an institution-based formal specification and verification language ⋮ Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design ⋮ Comorphisms of structured institutions ⋮ Grothendieck inclusion systems ⋮ Hybridisation of Institutions in HETS (Tool Paper). ⋮ CafeOBJ Traces ⋮ Towards a functional approach to modular ontologies using institutions ⋮ Towards an Institutional Framework for Heterogeneous Formal Development in UML
This page was built for publication:
