The following pages link to (Q4463898):
Displayed 6 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)
- Confluence of algebraic rewriting systems (Q5879266) (← links)