On Post's and Markov's examples of semigroups with unsolvable word problem.
From MaRDI portal
Publication:2016854
zbMath1299.20062MaRDI QIDQ2016854
Publication date: 30 June 2014
Published in: Southeast Asian Bulletin of Mathematics (Search for Journal in Brave)
finitely presented semigroups; composition-diamond lemma; Newman lemma; Post-Markov theorem; semigroups with unsolvable word problem
20M05: Free semigroups, generators and relations, word problems