The Equality Problem for Vector Addition Systems is Undecidable.

Published in: Theor. Comput. Sci. (1976)

Keyphrases

artificial intelligence
management system
distributed systems
complex systems
data sets
information systems
data management
computer systems
databases
computer vision
case study
intelligent systems
sufficient conditions
computing systems