Concepedia

Yves Guiraud

YG

Statistics

Publications

12

Citations

283

H-Index

11

Active since

2005

Affiliations

Université Paris Cité(Current)

Institut Camille Jordan

Université Claude Bernard Lyon 1

Institut national de recherche en sciences et technologies du numérique

Laboratory Preuves, Programmes et Systèmes

Yves Guiraud is an author at Université Paris Cité specializing in mathematics, natural sciences, and combinatorics.

Publications per year

2005–2019

12

Publications

12

Higher-dimensional normalisation strategies for acyclicity

Yves Guiraud, Philippe Malbos · Advances in Mathematics · 2012 · 43 citations · Full text

, , +7

Polygraphs of finite derivation type

Yves Guiraud, Philippe Malbos · Mathematical Structures in Computer Science · 2016 · 37 citations · Full text

, , +11

COHERENT PRESENTATIONS OF ARTIN MONOIDS

Stéphane Gaussent, Yves Guiraud, Philippe Malbos · 2015 · 31 citations

, , +11

Termination orders for three-dimensional rewriting

Yves Guiraud · Journal of Pure and Applied Algebra · 2005 · 30 citations · Full text

, , +7

The three dimensions of proofs

Yves Guiraud · Annals of Pure and Applied Logic · 2006 · 28 citations · Full text

, , +7

1–5 of 12