Pages that link to "Item:Q1123272"

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):

Displaying 1 item.

• Decision problems for finite special string-rewriting systems that are confluent on some congruence class (Q912986) (← links)