Pages that link to "Item:Q2911613"
From MaRDI portal
The following pages link to Quasi-weak cost automata: a new variant of weakness (Q2911613):
Displaying 4 items.
- Deciding the weak definability of Büchi definable tree languages (Q2958524) (← links)
- Two-way cost automata and cost logics over infinite trees (Q4635599) (← links)
- A Characterisation of Pi^0_2 Regular Tree Languages (Q5111272) (← links)
- Cost Automata, Safe Schemes, and Downward Closures (Q6044492) (← links)