2011/02/12 by Alexei Miasnikov, Miasnikov, Alexei, Alexander Ushakov +3 · 2 citations
Mathematics · Computer Science · #Geometric and Algebraic Topology #semigroups and automata theory #Algorithms and Data Compression
paper · pdf · doi:10.48550/arxiv.1102.2481
We prove that the Word problem in the Baumslag group G(1,2) which has a\nnon-elementary Dehn function is decidable in polynomial time.\n