The following pages link to (Q3839054):
Displaying 10 items.
- Complete sets of cooperations (Q618169) (← links)
- Universal coalgebra: A theory of systems (Q1583483) (← links)
- On institutions for modular coalgebraic specifications. (Q1603816) (← links)
- A hidden Herbrand theorem: Combining the object and logic paradigms (Q1858427) (← links)
- Observational logic, constructor-based logic, and their duality. (Q1874280) (← links)
- Observational coalgebras and complete sets of co-operations (Q2873667) (← links)
- Bisimulation and Hidden Algebra (Q4256320) (← links)
- Object oriented institutions to specify symbolic computation systems (Q5441547) (← links)
- Semantic constructions for the specification of objects (Q5941157) (← links)
- Equational axiomatizability for coalgebra (Q5941166) (← links)