A partial solution to the reachability-problem for vector-addition systems
With geometrical techniques we hope to bring new insight into the reachability problem for vector-addition systems, which is pertaining in many areas in computer science theory ...