scientific article
From MaRDI portal
Publication:2782496
zbMath0988.03056MaRDI QIDQ2782496
Publication date: 22 July 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65) Categorical logic, topoi (03G30) Theories (e.g., algebraic theories), structure, and semantics (18C10)
Related Items
Observational logic, constructor-based logic, and their duality., Constructor-based observational logic, Structured theories and institutions, Interpolation in Grothendieck institutions, Ultraproducts and possible worlds semantics in institutions, Heterogeneous Logical Environments for Distributed Specifications, Introducing \(H\), an institution-based formal specification and verification language, On the existence of translations of structured specifications, Grothendieck inclusion systems, Parchments for CafeOBJ Logics, Object oriented institutions to specify symbolic computation systems, Saturated models in institutions, Logical systems for structured specifications., Relating CASL with other specification languages: the institution level., Generalised graded interpolation
