Pages that link to "Item:Q3630218"
From MaRDI portal
The following pages link to Terminal Coalgebras for Measure-Polynomial Functors (Q3630218):
Displaying 6 items.
- Lattice properties of congruences for stochastic relations (Q424543) (← links)
- Maximal traces and path-based coalgebraic temporal logics (Q639645) (← links)
- Coalgebraic Logic over Measurable Spaces: Behavioral and Logical Equivalence (Q2994480) (← links)
- Coalgebraic logic over general measurable spaces – a survey (Q3005987) (← links)
- (Q4585069) (← links)
- Coalgebraic CTL: fixpoint characterization and polynomial-time model checking (Q6666771) (← links)
