Pages that link to "Item:Q2892761"
From MaRDI portal
The following pages link to Well-Pointed Coalgebras (Extended Abstract) (Q2892761):
Displaying 4 items.
- On continuous nondeterminism and state minimality (Q283735) (← links)
- The \({\mathcal {HS}} = {\mathcal {SH}}\) problem for coalgebras (Q607460) (← links)
- Constructive Modalities with Provability Smack (Q5255796) (← links)
- Algebra-coalgebra duality in brzozowski's minimization algorithm (Q5410330) (← links)