Remote Access Mathematics of Computation
Green Open Access

Mathematics of Computation

ISSN 1088-6842(online) ISSN 0025-5718(print)

 

 

Vector groups and the equality problem for vector addition systems


Author: Michael Anshel
Journal: Math. Comp. 32 (1978), 614-616
MSC: Primary 20F10; Secondary 03D40, 20E06
MathSciNet review: 482272
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: Our purpose is to demonstrate that results concerning the equality problem for vector addition systems, may be uséd to establish the decidability and undecidability of decision problems associated with the class of HNN extensions of the infinite cyclic group. We call these groups 'vector groups.'


References [Enhancements On Off] (What's this?)


Similar Articles

Retrieve articles in Mathematics of Computation with MSC: 20F10, 03D40, 20E06

Retrieve articles in all journals with MSC: 20F10, 03D40, 20E06


Additional Information

DOI: http://dx.doi.org/10.1090/S0025-5718-1978-0482272-7
Article copyright: © Copyright 1978 American Mathematical Society