Pages that link to "Item:Q3646431"

The following pages link to Higher-dimensional categories with finite derivation type (Q3646431):

Displaying 21 items.

• Higher-dimensional normalisation strategies for acyclicity (Q456807) (← links)
• A coherence theorem for pseudonatural transformations (Q502628) (← links)
• On finite complete rewriting systems, finite derivation type, and automaticity for homogeneous monoids (Q2013556) (← links)
• Rewriting modulo isotopies in pivotal linear \((2,2)\)-categories (Q2122211) (← links)
• Coherent confluence modulo relations and double groupoids (Q2136121) (← 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)
• Proof diagrams for multiplicative linear logic: syntax and semantics (Q2331072) (← links)
• Rewriting in higher dimensional linear categories and application to the affine oriented Brauer category (Q2411669) (← 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)
• Finite convergent presentation of plactic monoid for type C (Q3467629) (← links)
• Coherence of Gray Categories via Rewriting (Q4993341) (← links)
• (Q5014804) (← links)
• A diamond lemma for Hecke-type algebras (Q5036105) (← links)
• Algebraic coherent confluence and higher globular Kleene algebras (Q5060195) (← links)
• Rewriting in Gray categories with applications to coherence (Q5877242) (← links)
• Confluence of algebraic rewriting systems (Q5879266) (← links)
• Free precategories as presheaf categories (Q6575458) (← links)
• Termination of rewriting on reversible Boolean circuits as a free 3-category problem (Q6664060) (← links)