Vector Groups and the Equality Problem for Vector Addition Systems

DOI10.2307/2006170MaRDI QIDQ3877656zbMATH OpenOpenAlexFDO

Authors 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

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

Cites work

• scientific article; zbMATH DE number 3310084 (Why is no real title available?)
• Conjugate Powers in HNN Groups
• Decision Problems for HNN Groups and Vector Addition Systems
• On the reachability problem for 5-dimensional vector addition systems
• The Conjugacy Problem for HNN Groups and the Word Problem For Commutative Semigroups

Cited in

(2)

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

This page was built for publication: Vector Groups and the Equality Problem for Vector Addition Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3877656)