Vector Groups and the Equality Problem for Vector Addition Systems

DOI10.2307/2006170zbMATH Open0437.03006OpenAlexW4252891755MaRDI QIDQ3877656FDOQ3877656

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

• On the reachability problem for 5-dimensional vector addition systems
• The Conjugacy Problem for HNN Groups and the Word Problem For Commutative Semigroups
• Conjugate Powers in HNN Groups
• Title not available (Why is that?)
• Decision Problems for HNN Groups and Vector Addition Systems

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)