The word problem in the Baumslag group with a non-elementary Dehn function is polynomial time decidable.
From MaRDI portal
(Redirected from Publication:408527)
WARNING: Page is not linked to a MaRDI-Entity. Please add Sitelink / Wikibase-link.