Pages that link to "Item:Q3623014"
From MaRDI portal
The following pages link to Beyond Language Equivalence on Visibly Pushdown Automata (Q3623014):
Displayed 5 items.
- Bisimulation equivalence and regularity for real-time one-counter automata (Q2637644) (← links)
- Minimization of Visibly Pushdown Automata Using Partial Max-SAT (Q3303909) (← links)
- (Q4558784) (← links)
- Countdown games, and simulation on (succinct) one-counter nets (Q5883735) (← links)
- Simulation relations and applications in formal methods (Q6113980) (← links)