45 citations · 269 across the 17 of their papers we have counts for
17 papers
Polygraphs: From Rewriting to Higher Categories
Dimitri Ara, Albert Burroni, Yves Guiraud +3
Polygraphs are a higher-dimensional generalization of the notion of directed graph. Based on those as unifying concept, this monograph on polygraphs revisits the theory of rewritin…
Coherent presentations of monoids with a right-noetherian Garside family
Pierre-Louis Curien, Alen Ðurić, Yves Guiraud
This paper shows how to construct coherent presentations (presentations by generators, relations and relations among relations) of monoids admitting a right-noetherian Garside fami…
Quadratic normalisation in monoids
Patrick Dehornoy, Yves Guiraud
In the general context of presentations of monoids, we study normalisation processes that are determined by their restriction to length-two words. Garside's greedy normal forms and…
Convergent presentations and polygraphic resolutions of associative algebras
Yves Guiraud, Eric Hoffbeck, Philippe Malbos
Several constructive homological methods based on noncommutative Gröbner bases are known to compute free resolutions of associative algebras. In particular, these methods relate th…
Polygraphs of finite derivation type
Yves Guiraud, Philippe Malbos
Craig Squier proved that, if a monoid can be presented by a finite convergent string rewriting system, then it satisfies the homological finiteness condition left-FP3. Using this r…
Coherent presentations of Artin monoids
Stéphane Gaussent, Yves Guiraud, Philippe Malbos
We compute coherent presentations of Artin monoids, that is presentations by generators, relations, and relations between the relations. For that, we use methods of higher-dimensio…