scientific article
From MaRDI portal
Publication:2958386
DOI10.4230/LIPIcs.RTA.2013.223zbMath1356.68120MaRDI QIDQ2958386
Philippe Malbos, Yves Guiraud, Samuel Mimram
Publication date: 1 February 2017
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
coherenceKnuth-Bendix completionTietze transformationhigher-dimensional rewritinglow-dimensional homotopy for monoidspresentation of monoid
Related Items (10)
Tietze equivalences as weak equivalences ⋮ Algebraic coherent confluence and higher globular Kleene algebras ⋮ Knuth's coherent presentations of plactic monoids of type A ⋮ Braids via term rewriting ⋮ Coherent presentations of monoids with a right-Noetherian Garside family ⋮ Directed homology theories and Eilenberg-Steenrod axioms ⋮ Coherence of Gray Categories via Rewriting ⋮ Polygraphs of finite derivation type ⋮ Rewriting in Gray categories with applications to coherence ⋮ A rewriting coherence theorem with applications in homotopy type theory
This page was built for publication:
