The following pages link to (Q4499311):
Displaying 9 items.
- On the construction of free algebras for equational systems (Q1014644) (← links)
- Algebraic-coalgebraic specification in CoCASL (Q2369034) (← links)
- Integrating observational and computational features in the specification of state-based, dynamical systems (Q2747940) (← links)
- (Q2761706) (← links)
- Structured Co-spans: An Algebra of Interaction Protocols (Q3612491) (← links)
- (Q4255593) (← links)
- From Varieties of Algebras to Covarieties of Coalgebras (Q4917031) (← links)
- Algebras, Coalgebras, Monads and Comonads (Q4917035) (← links)
- From Algebras and Coalgebras to Dialgebras (Q4917045) (← links)