Pages that link to "Item:Q3623011"
From MaRDI portal
The following pages link to On the Expressive Power of 2-Stack Visibly Pushdown Automata (Q3623011):
Displaying 11 items.
- Ordered multi-stack visibly pushdown automata (Q344793) (← links)
- Descriptional complexity of unambiguous input-driven pushdown automata (Q484313) (← links)
- Realizability of concurrent recursive programs (Q1620953) (← links)
- Visit-bounded stack automata (Q2163998) (← links)
- Communicating finite-state machines, first-order logic, and star-free propositional dynamic logic (Q2208242) (← links)
- Reachability of scope-bounded multistack pushdown systems (Q2216111) (← links)
- Automata and Logics for Concurrent Systems: Five Models in Five Pages (Q2947404) (← links)
- Descriptional Complexity of Input-Driven Pushdown Automata (Q3166952) (← links)
- (Q3386623) (← links)
- Realizability of Concurrent Recursive Programs (Q3617744) (← links)
- Visit-bounded stack automata (Q6056625) (← links)