Browsing MAC Memos (1963 - 1974) by Author "Cardoza, Edward W."

Now showing items 1-1 of 1

Computational Complexity of the Word Problem for Commutative Semigroups

Cardoza, Edward W. (1975-10)

We analyze the computational complexity of some decision problems for commutative semigroups in terms of time and space on a Turing machine. The main result we present is that any decision procedure for the word problemm ...