1 paper · 1 filter
Islam Foniqi, Robert D. Gray
Motivated by its applications to the word problem for one-relator inverse monoids, via results of Ivanov, Margolis, and Meakin (2001), we prove several decidability and undecidabil…