The following pages link to An efficient algorithm to decide whether a monoid presented by a regular Church-Rosser Thue system is a group (Q1123272):
Displayed 1 item.