The following pages link to (Q4499300):
Displaying 7 items.
- Relation lifting, a survey (Q299182) (← links)
- Behavioural differential equations: a coinductive calculus of streams, automata, and power series (Q1884876) (← links)
- Definability, canonical models, compactness for finitary coalgebraic modal logic (Q2842556) (← links)
- Extending set functors to generalised metric spaces (Q4625693) (← links)
- The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata (Q5418964) (← links)
- On the Logic of Generalised Metric Spaces (Q5739454) (← links)
- A structural co-induction theorem (Q5890042) (← links)