Vector Groups and the Equality Problem for Vector Addition Systems

DOI10.2307/2006170zbMath0437.03006OpenAlexW4252891755MaRDI QIDQ3877656

Michael Anshel

Publication date: 1978

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

zbMATH Keywords

equality problem for vector addition systemsHNN extensions of the infinite cyclic group

Mathematics Subject Classification ID

Generators, relations, and presentations of groups (20F05) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Artificial intelligence (68T99) Decidability of theories and sets of sentences (03B25) Free nonabelian groups (20E05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10)

Related Items

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

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