Pages that link to "Item:Q2828316"
From MaRDI portal
The following pages link to Lattice-theoretic progress measures and coalgebraic model checking (Q2828316):
Displaying 6 items.
- Quasipolynomial computation of nested fixpoints (Q2044189) (← links)
- Combining semilattices and semimodules (Q2233397) (← links)
- Coinductive predicates and final sequences in a fibration (Q4606703) (← links)
- (Q5875397) (← links)
- Systems of fixpoint equations: abstraction, games, up-to techniques and local algorithms (Q6647769) (← links)
- Coalgebraic CTL: fixpoint characterization and polynomial-time model checking (Q6666771) (← links)
