Vector Groups and the Equality Problem for Vector Addition Systems

DOI10.2307/2006170zbMath0437.03006MaRDI QIDQ3877656

Michael Anshel

Publication date: 1978

Full work available at URL: https://doi.org/10.2307/2006170

zbMATH Keywords

equality problem for vector addition systems; HNN extensions of the infinite cyclic group

Mathematics Subject Classification ID

20F05: Generators, relations, and presentations of groups

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

68T99: Artificial intelligence

03B25: Decidability of theories and sets of sentences

20E05: Free nonabelian groups

20F10: Word problems, other decision problems, connections with logic and automata (group-theoretic aspects)

Related Items

Model-theoretic and algorithmic questions in group theory, Reducibilities Among Decision Problems for HNN Groups, Vector Addition Systems and Subsystems of Peano Arithmetic

Cites Work

• Unnamed Item
• On the reachability problem for 5-dimensional vector addition systems
• Conjugate Powers in HNN Groups
• The Conjugacy Problem for HNN Groups and the Word Problem For Commutative Semigroups
• Decision Problems for HNN Groups and Vector Addition Systems