Pages that link to "Item:Q3130298"
From MaRDI portal
The following pages link to Polygraphs of finite derivation type (Q3130298):
Displaying 28 items.
- On the first Zagreb index of polygraphs (Q277475) (← links)
- Termination orders for 3-polygraphs (Q817890) (← links)
- The matching polynomial of a polygraph (Q1103634) (← 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)
- A combinatorial-topological shape category for polygraphs (Q2182786) (← links)
- Rewriting modulo isotopies in Khovanov-Lauda-Rouquier's categorification of quantum groups (Q2219329) (← links)
- Convergent presentations and polygraphic resolutions of associative algebras (Q2272945) (← links)
- Topological rewriting systems applied to standard bases and syntactic algebras (Q2295395) (← links)
- Categorified cyclic operads (Q2303776) (← links)
- Coherent presentations of monoids with a right-Noetherian Garside family (Q2690068) (← links)
- A categorical characterization of strong Steiner \(\omega\)-categories (Q2690449) (← links)
- \( \ell r\)-multisemigroups, modal quantales and the origin of locality (Q2695347) (← links)
- Abstract strategies and coherence (Q2695348) (← links)
- Intensional properties of polygraphs (Q2870314) (← links)
- (Q3123637) (← links)
- From Analytical Mechanics Problems to Rewriting Theory Through M. Janet’s Work (Q3294886) (← links)
- Noncommutative Gröbner Bases: Applications and Generalizations (Q3294889) (← links)
- (Q5028464) (← links)
- Algebraic coherent confluence and higher globular Kleene algebras (Q5060195) (← links)
- A cubical Squier’s theorem (Q5220186) (← links)
- Confluence of algebraic rewriting systems (Q5879266) (← links)
- Shuffle polygraphic resolutions for operads (Q6134654) (← links)
- Coherence for plactic monoids via rewriting theory and crystal structures (Q6187527) (← links)
- Pregeometric spaces from Wolfram model rewriting systems as homotopy types (Q6570188) (← links)
- Single-set cubical categories and their formalisation with a proof assistant (Q6653090) (← links)
