Some one-relator semigroup presentations with solvable word problems
From MaRDI portal
Publication:3735946
DOI10.1017/S0305004100064379zbMath0601.20052MaRDI QIDQ3735946
Publication date: 1986
Published in: Mathematical Proceedings of the Cambridge Philosophical Society (Search for Journal in Brave)
Related Items
On the word problem for free products of semigroups and monoids ⋮ Some experiments with a completion theorem prover ⋮ The word problem for one-relation monoids: a survey ⋮ Thickness of Feathers
Cites Work