1 paper · 1 filter
Muhammad Inam
The word problem for an Adian inverse semigroup given by the presentation Inv⟨a,b∣a=banb⟩, where n≥1, is decidable.