Pages that link to "Item:Q3000614"
From MaRDI portal
The following pages link to A Practical Linear Time Algorithm for Trivial Automata Model Checking of Higher-Order Recursion Schemes (Q3000614):
Displayed 6 items.
- Functional programs as compressed data (Q526441) (← links)
- Simply typed fixpoint calculus and collapsible pushdown automata (Q2973243) (← links)
- Recursion Schemes and the WMSO+U Logic (Q3304152) (← links)
- (Q5109508) (← links)
- Streett Automata Model Checking of Higher-Order Recursion Schemes (Q5111330) (← links)
- Cost Automata, Safe Schemes, and Downward Closures (Q6044492) (← links)