Pages that link to "Item:Q1398378"
From MaRDI portal
The following pages link to Counting on CTL\(^*\): On the expressive power of monadic path logic (Q1398378):
Displayed 6 items.
- On temporal logic versus Datalog (Q1401358) (← links)
- \(\text{BTL}_{2}\) and the expressive power of \(\text{ECTL}^{+}\) (Q2500472) (← links)
- Bisimulation equivalence and regularity for real-time one-counter automata (Q2637644) (← links)
- Complexity of modal logics with Presburger constraints (Q2638188) (← links)
- Reasoning About Substructures and Games (Q2957764) (← links)
- Limiting Until in Ordered Tree Query Languages (Q5277915) (← links)