Publication:2704714
From MaRDI portal
zbMath0969.20030MaRDI QIDQ2704714
Publication date: 30 September 2001
undecidability; decision problems; word problem; numbers of generators; Knuth-Bendix completion; finite monoid presentations; Markov's embedding lemma
20M05: Free semigroups, generators and relations, word problems
Related Items