Pages that link to "Item:Q639645"
From MaRDI portal
The following pages link to Maximal traces and path-based coalgebraic temporal logics (Q639645):
Displaying 5 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)