Similar Items: Vector Addition System Reversible Reachability Problem
- The General Vector Addition System Reachability Problem by Presburger Inductive Invariants
- The Complexity of Reachability in Affine Vector Addition Systems with States
- Improving Reachability in Vector Addition Systems through Pumpability
- Affine Extensions of Integer Vector Addition Systems with States
- Small Term Reachability and Related Problems for Terminating Term Rewriting Systems
- Reachability Problem for Weak Multi-Pushdown Automata