Pages that link to "Item:Q685405"

The following pages link to Higher-dimensional word problems with applications to equational logic (Q685405):

Displaying 45 items.

• Higher-dimensional normalisation strategies for acyclicity (Q456807) (← links)
• A coherence theorem for pseudonatural transformations (Q502628) (← links)
• Coherence for modalities (Q531368) (← links)
• Categorification, term rewriting and the Knuth-Bendix procedure (Q626714) (← links)
• Termination orders for 3-polygraphs (Q817890) (← links)
• A folk model structure on omega-cat (Q973942) (← links)
• Homomorphisms of higher categories (Q984873) (← links)
• Polygraphic resolutions and homology of monoids (Q1008743) (← links)
• Homotopy reduction systems for monoid presentations (Q1295568) (← links)
• Minimality of the system of seven equations for the category of finite sets (Q1392285) (← links)
• Towards an algebraic theory of Boolean circuits. (Q1410965) (← links)
• A simplicial foundation for differential and sector forms in tangent categories (Q1630584) (← links)
• A new finiteness condition for monoids presented by complete rewriting systems (after Craig C. Squier) (Q1892306) (← links)
• A class of recursive permutations which is primitive recursive complete (Q1989331) (← links)
• Rewriting modulo isotopies in pivotal linear \((2,2)\)-categories (Q2122211) (← links)
• Monads, partial evaluations, and rewriting (Q2133473) (← links)
• Coherent confluence modulo relations and double groupoids (Q2136121) (← links)
• Tietze equivalences as weak equivalences (Q2139719) (← 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)
• Categorified cyclic operads (Q2303776) (← 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)
• A graphical calculus for semi-groupal categories (Q2423828) (← links)
• Algebra and geometry of rewriting (Q2463397) (← links)
• The three dimensions of proofs (Q2498912) (← links)
• Two polygraphic presentations of Petri nets (Q2503322) (← links)
• Termination orders for three-dimensional rewriting (Q2504386) (← links)
• A categorical characterization of strong Steiner \(\omega\)-categories (Q2690449) (← links)
• Abstract strategies and coherence (Q2695348) (← links)
• Intensional Properties of Polygraphs (Q2870314) (← links)
• Corelations are the prop for extraspecial commutative Frobenius monoids (Q2969088) (← links)
• Confluence of Graph Rewriting with Interfaces (Q2988637) (← links)
• The structure of first-order causality (Q3081323) (← links)
• Polygraphs of finite derivation type (Q3130298) (← links)
• Noncommutative Gröbner Bases: Applications and Generalizations (Q3294889) (← links)
• (Q4029347) (← links)
• (Q4239753) (← links)
• Coherence of Gray Categories via Rewriting (Q4993341) (← links)
• Algebraic coherent confluence and higher globular Kleene algebras (Q5060195) (← links)
• Shuffle polygraphic resolutions for operads (Q6134654) (← links)
• Monoidal weak <i>ω</i>-categories as models of a type theory (Q6149952) (← links)
• Data Structures for Topologically Sound Higher-Dimensional Diagram Rewriting (Q6150149) (← links)
• Nerves and cones of free loop-free \(\omega\)-categories (Q6168319) (← links)