Pages that link to "Item:Q580494"
From MaRDI portal
The following pages link to Using string-rewriting for solving the word problem for finitely presented groups (Q580494):
Displaying 4 items.
- Decision problems for finite special string-rewriting systems that are confluent on some congruence class (Q912986) (← links)
- The use of Knuth-Bendix methods to solve the word problem in automatic groups (Q1192222) (← links)
- The problem of deciding confluence on a given congruence class is tractable for finite special string-rewriting systems (Q4013403) (← links)
- (Q4273691) (← links)