On the Complexity of Containment, Equivalence and Reachability for Finite and 2-Dimensional Vector Addition Systems with States.

Rodney R. Howell

Browse the full STACS paper archive.