Learn More
The <underline>uniform word problem for commutative semigroups</underline> (UWCS) is the problem of determining from any given finite set of defining relations and any pair of words, whether the words describe the same element in the commutative semigroup defined by the relations. The effective decidability of this classical algebraic problem was first(More)
  • 1