Pages that link to "Item:Q639645"
From MaRDI portal
The following pages link to Maximal traces and path-based coalgebraic temporal logics (Q639645):
Displaying 7 items.
- Coinductive predicates and final sequences in a fibration (Q265811) (← links)
- Quantitative simulations by matrices (Q729815) (← links)
- The temporal logic of coalgebras via Galois algebras (Q4405697) (← links)
- Coinductive predicates and final sequences in a fibration (Q4606703) (← links)
- (Q5875398) (← links)
- Linear-time logics -- a coalgebraic perspective (Q6563060) (← links)
- Coalgebraic CTL: fixpoint characterization and polynomial-time model checking (Q6666771) (← links)