Pages that link to "Item:Q580494"

The following pages link to Using string-rewriting for solving the word problem for finitely presented groups (Q580494):

Displaying 2 items.

• Decision problems for finite special string-rewriting systems that are confluent on some congruence class (Q912986) (← links)
• The problem of deciding confluence on a given congruence class is tractable for finite special string-rewriting systems (Q4013403) (← links)