Pages that link to "Item:Q843024"
From MaRDI portal
The following pages link to Algebra and coalgebra in computer science. Third international conference, CALCO 2009, Udine, Italy, September 7--10, 2009. Proceedings (Q843024):
Displaying 5 items.
- Algebra and coalgebra in computer science. 4th international conference, CALCO 2011, Winchester, UK, August 30 -- September 2, 2011. Proceedings (Q637053) (← links)
- Coalgebras in functional programming and type theory (Q639643) (← links)
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- Bisimulations Generated from Corecursive Equations (Q3178257) (← links)
- (Q5062012) (← links)