Pages that link to "Item:Q2873667"
From MaRDI portal
The following pages link to Observational coalgebras and complete sets of co-operations (Q2873667):
Displaying 5 items.
- Complete sets of cooperations (Q618169) (← links)
- Coalgebras in functional programming and type theory (Q639643) (← links)
- Towards the critical problem: On the coalgebraic relation between sets and multisets (Q685583) (← links)
- A coalgebraic equational approach to specifying observational structures (Q1603815) (← links)
- Bisimulations Generated from Corecursive Equations (Q3178257) (← links)