The following pages link to (Q3839055):
Displayed 5 items.
- Coalgebraic logic (Q1295427) (← links)
- A coalgebraic equational approach to specifying observational structures (Q1603815) (← links)
- Integrating Observational and Computational Features in the Specification of State-Based, Dynamical Systems (Q2747940) (← links)
- Object oriented institutions to specify symbolic computation systems (Q5441547) (← links)
- Semantic constructions for the specification of objects (Q5941157) (← links)