Similar Items: On the Expressive Power of Higher-Order Pushdown Systems
- Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems
- On the Expressive Power of 2-Stack Visibly Pushdown Automata
- Model-Checking of Ordered Multi-Pushdown Automata
- A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct
- Reachability Analysis of Communicating Pushdown Systems
- A note on the expressive power of linear orders