Pages that link to "Item:Q2922031"
From MaRDI portal
The following pages link to A Unifying Approach for Multistack Pushdown Automata (Q2922031):
Displaying 13 items.
- Ordered multi-stack visibly pushdown automata (Q344793) (← links)
- Visibly pushdown modular games (Q515657) (← links)
- On the path-width of integer linear programming (Q515665) (← links)
- Realizability of concurrent recursive programs (Q1620953) (← links)
- Reachability of scope-bounded multistack pushdown systems (Q2216111) (← links)
- A Perfect Class of Context-Sensitive Timed Languages (Q2817374) (← links)
- Automata and Logics for Concurrent Systems: Five Models in Five Pages (Q2947404) (← links)
- Scope-bounded multistack pushdown systems: fixed-point, sequentialization, and tree-width (Q2957490) (← links)
- (Q3357533) (← links)
- (Q4547840) (← links)
- Emptiness of Ordered Multi-Pushdown Automata is 2ETIME-Complete (Q4639894) (← links)
- (Q5192935) (← links)
- (Q5192936) (← links)