Pages that link to "Item:Q2888487"
From MaRDI portal
The following pages link to Relating Coalgebraic Notions of Bisimulation (Q2888487):
Displayed 5 items.
- Presenting functors on many-sorted varieties and applications (Q618170) (← links)
- Coalgebras in functional programming and type theory (Q639643) (← links)
- Bialgebras for structural operational semantics: an introduction (Q639646) (← links)
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming (Q3067470) (← links)