Pages that link to "Item:Q1610670"
From MaRDI portal
The following pages link to A completion procedure for finitely presented groups that is based on word cycles (Q1610670):
Displaying 4 items.
- The word problem for groups with regular relations. Improvement of the Knuth-Bendix algorithm (Q1328892) (← links)
- Infinite complete group presentations (Q1916428) (← links)
- Cyclic rewriting and conjugacy problems. (Q2874367) (← links)
- Equational Theorem Proving for Clauses over Strings (Q6118747) (← links)