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

Decidability of theories and sets of sentences (03B25) Free nonabelian groups (20E05) Generators, relations, and presentations of groups (20F05) 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) Artificial intelligence (68T99)

Cites work

• Conjugate Powers in HNN Groups
• Decision Problems for HNN Groups and Vector Addition Systems
• scientific article; zbMATH DE number 3310084 (Why is no real title available?)
• 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)

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

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)