×

The word problem and power problem in 1-relator groups are primitive recursive. (English) Zbl 0335.02029


MSC:

03D40 Word problems, etc. in computability and recursion theory
20F10 Word problems, other decision problems, connections with logic and automata (group-theoretic aspects)
PDFBibTeX XMLCite
Full Text: DOI