When is a Monoid a Group? The Church-Rosser Case is Tractable

Ronald V. Book. When is a Monoid a Group? The Church-Rosser Case is Tractable. Theoretical Computer Science, 18:325-331, 1982.

Abstract

Abstract is missing.