Abstract: The reachability problem for Vector Addition Systems (VASs) is a central problem of net theory. The general problem is known decidable by algorithms exclusively based on the classical ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback