Reducibilities Among Decision Problems for HNN Groups, Vector Addition Systems and Subsystems of Peano Arithmetic
Proceedings of the American Mathematical Society - United States
doi 10.1090/s0002-9939-1983-0715859-8
Full Text
Open PDFAbstract
Available in full text
Date
March 1, 1983
Authors
Publisher
American Mathematical Society (AMS)