Pages that link to "Item:Q2873663"
From MaRDI portal
The following pages link to Modular Games for Coalgebraic Fixed Point Logics (Q2873663):
Displaying 5 items.
- Coinductive predicates and final sequences in a fibration (Q265811) (← links)
- Maximal traces and path-based coalgebraic temporal logics (Q639645) (← links)
- Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics (Q2919451) (← links)
- EXPTIME Tableaux for the Coalgebraic μ-Calculus (Q3644748) (← links)
- Coinductive predicates and final sequences in a fibration (Q4606703) (← links)