scientific article
From MaRDI portal
Publication:3839054
zbMath0906.68094MaRDI QIDQ3839054
Publication date: 26 October 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (10)
Observational logic, constructor-based logic, and their duality. ⋮ Bisimulation and Hidden Algebra ⋮ Complete sets of cooperations ⋮ Semantic constructions for the specification of objects ⋮ Equational axiomatizability for coalgebra ⋮ Object oriented institutions to specify symbolic computation systems ⋮ Universal coalgebra: A theory of systems ⋮ A hidden Herbrand theorem: Combining the object and logic paradigms ⋮ On institutions for modular coalgebraic specifications. ⋮ Observational Coalgebras and Complete Sets of Co-operations
This page was built for publication:
