Now showing items 1-1 of 1

    • On the Reachability Problem for 5-Dimensional Vector Addition Systems 

      Hopcroft, John E.; Pansiot, J. (Cornell University, 1976-06)
      The reachability set for vector addition systems of dimension less than or equal to five are shown to be effectively computable semilinear sets. Thus reachability, equvalence and containment are decidable up to dimension ...