Pages that link to "Item:Q1603816"
From MaRDI portal
The following pages link to On institutions for modular coalgebraic specifications. (Q1603816):
Displaying 6 items.
- A coalgebraic equational approach to specifying observational structures (Q1603815) (← links)
- Observational logic, constructor-based logic, and their duality. (Q1874280) (← links)
- An institution of modal logics for coalgebras (Q2369032) (← links)
- Integrating observational and computational features in the specification of state-based, dynamical systems (Q2747940) (← links)
- Towards behavioral Maude: behavioral membership equational logic (Q2842559) (← links)
- Object oriented institutions to specify symbolic computation systems (Q5441547) (← links)