Pages that link to "Item:Q456807"
From MaRDI portal
The following pages link to Higher-dimensional normalisation strategies for acyclicity (Q456807):
Displayed 14 items.
- A coherence theorem for pseudonatural transformations (Q502628) (← links)
- A Quillen's Theorem A for strict \(\infty\)-categories. I: The simplicial proof (Q1705469) (← links)
- Syzygies among reduction operators (Q1789663) (← links)
- On finite complete rewriting systems, finite derivation type, and automaticity for homogeneous monoids (Q2013556) (← 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)
- Cubical $(\omega,p)$-categories (Q3121024) (← links)
- Polygraphs of finite derivation type (Q3130298) (← links)
- From Analytical Mechanics Problems to Rewriting Theory Through M. Janet’s Work (Q3294886) (← links)
- Noncommutative Gröbner Bases: Applications and Generalizations (Q3294889) (← links)
- Coherence in monoidal track categories (Q4649461) (← links)
- A cubical Squier’s theorem (Q5220186) (← links)
- Coherent presentations of Artin monoids (Q5259734) (← links)