The word problem in the Baumslag group with a non-elementary Dehn function is polynomial time decidable.

From MaRDI portal
(Redirected from Publication:408527)