The following pages link to (Q4447251):
Displaying 6 items.
- Rewriting with a nondeterministic choice operator (Q1096383) (← links)
- String rewriting for double coset systems. (Q2457349) (← links)
- Computing subgroup presentations, using the coherence arguments of McCammond and Wise. (Q2496857) (← links)
- Antimirov and Mosses’s Rewrite System Revisited (Q3602800) (← links)
- (Q3761713) (← links)
- (Q4222858) (← links)