The following pages link to (Q4499300):
Displaying 6 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)
