The following pages link to On minimal coalgebras (Q934670):
Displaying 6 items.
- Subsequential transducers: a coalgebraic perspective (Q618167) (← links)
- Complete sets of cooperations (Q618169) (← links)
- A Coalgebraic Perspective on Minimization and Determinization (Q2892759) (← links)
- Coinduction-based solution for minimization of Kripke structures (Q2926854) (← links)
- Some facets of Horn covarieties in a category (Q4639649) (← links)
- Minimality Notions via Factorization Systems and Examples (Q5043590) (← links)