The following pages link to (Q2958386):
Displaying 10 items.
- Knuth's coherent presentations of plactic monoids of type A (Q1678467) (← links)
- Directed homology theories and Eilenberg-Steenrod axioms (Q1701172) (← links)
- Tietze equivalences as weak equivalences (Q2139719) (← links)
- Braids via term rewriting (Q2422032) (← links)
- Coherent presentations of monoids with a right-Noetherian Garside family (Q2690068) (← links)
- Polygraphs of finite derivation type (Q3130298) (← links)
- Coherence of Gray Categories via Rewriting (Q4993341) (← links)
- Algebraic coherent confluence and higher globular Kleene algebras (Q5060195) (← links)
- Rewriting in Gray categories with applications to coherence (Q5877242) (← links)
- A rewriting coherence theorem with applications in homotopy type theory (Q5879270) (← links)
