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

Rodney R. Howell

Published in: STACS (1987)

Keyphrases

computer systems
management system
neural network
expert systems
viewpoint
multi dimensional
distributed systems
intelligent systems
transitive closure
dimensional vector