Pages that link to "Item:Q5056423"
From MaRDI portal
The following pages link to The Reachability Problem for Two-Dimensional Vector Addition Systems with States (Q5056423):
Displaying 10 items.
- Linear reachability problems and minimal solutions to linear Diophantine equation systems (Q703515) (← links)
- Vector and scalar reachability problems in \(\operatorname{SL}(2, \mathbb{Z})\) (Q1740664) (← links)
- Vector Addition System Reversible Reachability Problem (Q3090839) (← links)
- (Q3110034) (← links)
- Reachability in Two-Dimensional Vector Addition Systems with States Is PSPACE-Complete (Q4635789) (← links)
- Reachability in Two-Dimensional Unary Vector Addition Systems with States is NL-Complete (Q4635905) (← links)
- Multi-Dimensional Long-Run Average Problems for Vector Addition Systems with States (Q5089288) (← links)
- (Q5155664) (← links)
- Dimension-minimality and primality of counter nets (Q6629528) (← links)
- Lower bounds for the reachability problem in fixed dimensional VASSes (Q6649473) (← links)