Yves Guiraud

Publication Activity (10 Years)

Years Active: 2003-2023
Publications (10 Years): 3

Top Venues

Math. Struct. Comput. Sci.

CoRR

Int. J. Algebra Comput.

Montpellier 2 University, France (PHD)

Education History

Montpellier 2 University, France

PHD

Publications

Dimitri Ara, Albert Burroni, Yves Guiraud, Philippe Malbos, François Métayer, Samuel Mimram
Polygraphs: From Rewriting to Higher Categories. CoRR (2023)
Yves Guiraud, Philippe Malbos
Polygraphs of finite derivation type. Math. Struct. Comput. Sci. 28 (2) (2018)
Patrick Dehornoy, Yves Guiraud
Quadratic normalization in monoids. Int. J. Algebra Comput. 26 (5) (2016)
Yves Guiraud, Philippe Malbos, Samuel Mimram
A Homotopical Completion Procedure with Applications to Coherence of Monoids. RTA (2013)
Yves Guiraud, Philippe Malbos
Coherence in monoidal track categories. Math. Struct. Comput. Sci. 22 (6) (2012)
Guillaume Bonfante, Yves Guiraud
Programs as polygraphs: computability and complexity Logical Methods in Computer Science 5 (2) (2009)
Guillaume Bonfante, Yves Guiraud
Intensional Properties of Polygraphs. Electron. Notes Theor. Comput. Sci. 203 (1) (2008)
Guillaume Bonfante, Yves Guiraud
Intensional properties of polygraphs CoRR (2007)
Yves Guiraud
Polygraphs for termination of left-linear term rewriting systems CoRR (2007)
Yves Guiraud
The three dimensions of proofs. Ann. Pure Appl. Log. 141 (1-2) (2006)
Yves Guiraud
Termination orders for 3-polygraphs CoRR (2006)
Yves Guiraud
The three dimensions of proofs CoRR (2006)
Yves Guiraud
Two polygraphic presentations of Petri nets CoRR (2006)
Yves Guiraud
Two polygraphic presentations of Petri nets. Theor. Comput. Sci. 360 (1-3) (2006)
Yves Guiraud
Termination orders for 3-dimensional rewriting CoRR (2006)
Abdelkader Gouaïch, Fabien Michel, Yves Guiraud
MIC: A Deployment Environment for Autonomous Agents. E4MAS (2004)
Abdelkader Gouaïch, Yves Guiraud
MIC: Algebraic Agent Environment. ISMIS (2003)

Yves Guiraud.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Yves Guiraud