The following pages link to (Q4499311):
Displaying 5 items.
- On the construction of free algebras for equational systems (Q1014644) (← links)
- Integrating Observational and Computational Features in the Specification of State-Based, Dynamical Systems (Q2747940) (← 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)
