Pages that link to "Item:Q5495783"
From MaRDI portal
The following pages link to Equivalence of deterministic one-counter automata is NL-complete (Q5495783):
Displaying 8 items.
- A generic framework for checking semantic equivalences between pushdown automata and finite-state automata (Q2409577) (← links)
- Trace inclusion for one-counter nets revisited (Q2636512) (← links)
- Bisimulation equivalence and regularity for real-time one-counter automata (Q2637644) (← links)
- Shortest Paths in One-Counter Systems (Q2811358) (← links)
- Trace Inclusion for One-Counter Nets Revisited (Q3447702) (← links)
- The Hoare Logic of Deterministic and Nondeterministic Monadic Recursion Schemes (Q5277914) (← links)
- Countdown games, and simulation on (succinct) one-counter nets (Q5883735) (← links)
- Input-driven multi-counter automata (Q5918274) (← links)