Monoids $\mathrm{Mon}\langle a,b:a^{\alpha}b^{\beta}a^{\gamma}b^{\delta}a^{\varepsilon}b^{\varphi}=b\rangle$ admit finite complete rewriting systems

arXiv1302.2819MaRDI QIDQ6239569

Alan J. Cain, Victor Maltcev

Publication date: 12 February 2013

Mathematics Subject Classification ID

Free semigroups, generators and relations, word problems (20M05)