Pages that link to "Item:Q3167019"
From MaRDI portal
The following pages link to On the Expressive Power of Cost Logics over Infinite Words (Q3167019):
Displaying 7 items.
- Regular cost functions. I: Logic and algebra over words (Q2846575) (← links)
- Linear temporal logic for regular cost functions (Q3113725) (← links)
- Two-way cost automata and cost logics over infinite trees (Q4635599) (← links)
- Quantifying Bounds in Strategy Logic (Q5079747) (← links)
- Index Problems for Game Automata (Q5278187) (← links)
- Cost Automata, Safe Schemes, and Downward Closures (Q6044492) (← links)
- Positive First-order Logic on Words and Graphs (Q6135776) (← links)