Search Results - "GUIRAUD, YVES"

Convergent presentations and polygraphic resolutions of associative algebras.

Authors: Guiraud, Yves Hoffbeck, Eric Malbos, Philippe

Source: Mathematische Zeitschrift. Oct2019, Vol. 293 Issue 1/2, p113-179. 67p.

Polygraphs of finite derivation type.

Authors: GUIRAUD, YVES MALBOS, PHILIPPE

Source: Mathematical Structures in Computer Science. Feb2018, Vol. 28 Issue 2, p155-201. 47p.

Quadratic normalization in monoids.

Authors: Dehornoy, Patrick Guiraud, Yves

Source: International Journal of Algebra & Computation. Aug2016, Vol. 26 Issue 5, p935-972. 38p.

Coherent presentations of Artin monoids.

Authors: Gaussent, Stéphane Guiraud, Yves Malbos, Philippe

Source: Compositio Mathematica. May2015, Vol. 151 Issue 5, p957-998. 42p.

Coherence in monoidal track categories.

Authors: GUIRAUD, YVES MALBOS, PHILIPPE

Source: Mathematical Structures in Computer Science. Dec2012, Vol. 22 Issue 6, p931-969. 39p.

HIGHER-DIMENSIONAL CATEGORIES WITH FINITE DERIVATION TYPE.

Authors: Guiraud, Yves Malbos, Philippe

Source: Theory & Applications of Categories. 2009, Vol. 22 Issue 1, p420-478. 59p. 46 Diagrams.

Coherent presentations of monoids with a right-noetherian Garside family.

Authors: Curien, Pierre-Louis Ɖurić, Alen Guiraud, Yves

Source: Journal of Homotopy & Related Structures. Mar2023, Vol. 18 Issue 1, p115-152. 38p.

Two polygraphic presentations of Petri nets

Authors: Guiraud, Yves¹ guiraud@iml.univ-mrs.fr

Source: Theoretical Computer Science. Aug2006, Vol. 360 Issue 1-3, p124-146. 23p.

Subjects: Petri nets, Polygraph operators, Commutative algebra, Graph theory

Termination orders for 3-polygraphs

Alternate Title: Ordres de terminaison pour 3-polygraphes

Authors: Guiraud, Yves¹ guiraud@iml.univ-mrs.fr

Source: Comptes Rendus. Mathématique. Feb2006, Vol. 342 Issue 4, p219-222. 4p.

Subjects: Rewriting systems (Computer science), Mathematical category theory, Mathematics, Logic, Computer Science & Applications Inc.

Higher-dimensional normalisation strategies for acyclicity

Authors: Guiraud, Yves Malbos, Philippe

Source: Advances in Mathematics. Oct2012, Vol. 231 Issue 3/4, p2294-2351. 58p.

Termination orders for three-dimensional rewriting

Authors: Guiraud, Yves¹ guiraud@iml.univ-mrs.fr

Source: Journal of Pure & Applied Algebra. Oct2006, Vol. 207 Issue 2, p341-371. 31p.

The three dimensions of proofs

Authors: Guiraud, Yves¹ http://iml.univ-mrs.fr/~guiraud

Source: Annals of Pure & Applied Logic. Aug2006, Vol. 141 Issue 1/2, p266-295. 30p.