The following pages link to (Q4499310):
Displaying 21 items.
- Coalgebras for fuzzy transition systems (Q276401) (← links)
- The \({\mathcal {HS}} = {\mathcal {SH}}\) problem for coalgebras (Q607460) (← links)
- A hierarchy of probabilistic system types (Q703518) (← links)
- The intersection of algebra and coalgebra (Q860879) (← links)
- A logic of implications in algebra and coalgebra (Q1047097) (← links)
- More existence theorems for recursion categories. (Q1428035) (← links)
- Distributivity of categories of coalgebras (Q1884878) (← links)
- Connected monads weakly preserve products (Q2310433) (← links)
- A description based on languages of the final non-deterministic automaton (Q2449045) (← links)
- A simplification functor for coalgebras (Q2469042) (← links)
- Final coalgebras and the Hennessy-Milner property (Q2576941) (← links)
- Towards coalgebraic behaviourism (Q2842558) (← links)
- Presentation of Set Functors: A Coalgebraic Perspective (Q3056295) (← links)
- Weak homomorphisms between functorial algebras (Q3118242) (← links)
- Some facets of Horn covarieties in a category (Q4639649) (← links)
- Monoid-labeled transition systems (Q4917038) (← links)
- Modal Rules are Co-Implications (Q4917041) (← links)
- Enhanced coalgebraic bisimulation (Q5361143) (← links)
- Transitivity and Difunctionality of Bisimulations (Q5739448) (← links)
- Operators on classes of coalgebras (Q5958621) (← links)
- Exact sequences in categories of coalgebras (Q6655933) (← links)
