The following pages link to (Q4463898):
Displaying 7 items.
- Computation and homotopical applications of induced crossed modules (Q1867217) (← links)
- String rewriting for double coset systems. (Q2457349) (← links)
- Complete involutive rewriting systems (Q2466871) (← links)
- Computing group resolutions. (Q2643554) (← links)
- Crossed Complexes and Higher Homotopy Groupoids as Noncommutative Tools for Higher Dimensional Local-to-Global Problems (Q3053860) (← links)
- Three-Dimensional Presentations for the Groups of Order at Most 30 (Q4259419) (← links)
- Confluence of algebraic rewriting systems (Q5879266) (← links)