Pages that link to "Item:Q1408860"
From MaRDI portal
The following pages link to Observational ultraproducts of polynomial coalgebras. (Q1408860):
Displaying 5 items.
- A modal proof theory for final polynomial coalgebras (Q2503317) (← links)
- Towards coalgebraic behaviourism (Q2842558) (← links)
- Observational coalgebras and complete sets of co-operations (Q2873667) (← links)
- Bisimulation proof methods in a path-based specification language for polynomial coalgebras (Q5740639) (← links)
- What is the coalgebraic analogue of Birkhoff's variety theorem? (Q5958779) (← links)