Pages that link to "Item:Q5259734"
From MaRDI portal
The following pages link to Coherent presentations of Artin monoids (Q5259734):
Displaying 20 items.
- A coherence theorem for pseudonatural transformations (Q502628) (← links)
- Knuth's coherent presentations of plactic monoids of type A (Q1678467) (← links)
- Chinese syzygies by insertions (Q2070976) (← links)
- Rewriting modulo isotopies in pivotal linear \((2,2)\)-categories (Q2122211) (← links)
- Coherent confluence modulo relations and double groupoids (Q2136121) (← links)
- Tietze equivalences as weak equivalences (Q2139719) (← links)
- Convergent presentations and polygraphic resolutions of associative algebras (Q2272945) (← links)
- Topological rewriting systems applied to standard bases and syntactic algebras (Q2295395) (← links)
- Coherent presentations of monoids with a right-Noetherian Garside family (Q2690068) (← links)
- Abstract strategies and coherence (Q2695348) (← links)
- Polygraphs of finite derivation type (Q3130298) (← links)
- Noncommutative Gröbner Bases: Applications and Generalizations (Q3294889) (← links)
- Quotients of the Magmatic Operad: Lattice Structures and Convergent Rewrite Systems (Q3383700) (← links)
- Garside and Quadratic Normalisation: A Survey (Q3451086) (← links)
- Algebraic coherent confluence and higher globular Kleene algebras (Q5060195) (← links)
- Confluence of algebraic rewriting systems (Q5879266) (← links)
- A rewriting coherence theorem with applications in homotopy type theory (Q5879270) (← links)
- Shuffle polygraphic resolutions for operads (Q6134654) (← links)
- Coherence for plactic monoids via rewriting theory and crystal structures (Q6187527) (← links)
- Free precategories as presheaf categories (Q6575458) (← links)
