Yves Guiraud

According to our database, Yves Guiraud authored at least 16 papers between 2003 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Polygraphs: From Rewriting to Higher Categories.

Dimitri Ara, Albert Burroni, Yves Guiraud, Philippe Malbos, François Métayer, Samuel Mimram

CoRR, 2023

2019

Rewriting methods in higher algebra. (Méthodes de réécriture en algèbre supérieure).

Yves Guiraud

, 2019

2018

Polygraphs of finite derivation type.

Yves Guiraud, Philippe Malbos

Math. Struct. Comput. Sci., 2018

2016

Quadratic normalization in monoids.

Patrick Dehornoy, Yves Guiraud

Int. J. Algebra Comput., 2016

2013

A Homotopical Completion Procedure with Applications to Coherence of Monoids.

Yves Guiraud, Philippe Malbos, Samuel Mimram

Proceedings of the 24th International Conference on Rewriting Techniques and Applications, 2013

2012

Coherence in monoidal track categories.

Yves Guiraud, Philippe Malbos

Math. Struct. Comput. Sci., 2012

2009

Programs as polygraphs: computability and complexity

Guillaume Bonfante, Yves Guiraud

, 2009

2007

Intensional Properties of Polygraphs.

Guillaume Bonfante, Yves Guiraud

Proceedings of the Fourth International Workshop on Computing with Terms and Graphs, 2007

Polygraphs for termination of left-linear term rewriting systems

Yves Guiraud

CoRR, 2007

2006

Two polygraphic presentations of Petri nets.

Yves Guiraud

Theor. Comput. Sci., 2006

Termination orders for 3-polygraphs

Yves Guiraud

CoRR, 2006

Termination orders for 3-dimensional rewriting

Yves Guiraud

CoRR, 2006

The three dimensions of proofs.

Yves Guiraud

Ann. Pure Appl. Log., 2006

2004

Présentations d'opérades et systèmes de réécriture. (Operad presentations and rewrite systems).

Yves Guiraud

PhD thesis, 2004

MIC: A Deployment Environment for Autonomous Agents.

Abdelkader Gouaïch, Fabien Michel, Yves Guiraud

Proceedings of the Environments for Multi-Agent Systems, First International Workshop, 2004

2003

MIC: Algebraic Agent Environment.

Abdelkader Gouaïch, Yves Guiraud

Proceedings of the Foundations of Intelligent Systems, 14th International Symposium, 2003