pith. sign in

Yves Guiraud

Identifiers

  • name variant Yves Guiraud 0.60 · backfill

Papers (14)

  1. Quadratic normalisation in monoids math.GR · 2015 · author #2
  2. Polygraphs of finite derivation type math.CT · 2014 · author #1
  3. Coherent presentations of Artin monoids math.CT · 2012 · author #2
  4. Higher-dimensional normalisation strategies for acyclicity math.CT · 2010 · author #1
  5. Coherence in monoidal track categories math.CT · 2010 · author #1
  6. Identities among relations for higher-dimensional rewriting systems math.CT · 2009 · author #1
  7. Higher-dimensional categories with finite derivation type math.CT · 2008 · author #1
  8. Intensional properties of polygraphs cs.LO · 2007 · author #2
  9. Polygraphs for termination of left-linear term rewriting systems cs.LO · 2007 · author #1
  10. Polygraphic programs and polynomial-time functions cs.LO · 2007 · author #2
  11. The three dimensions of proofs math.CT · 2006 · author #1
  12. Two polygraphic presentations of Petri nets math.CT · 2006 · author #1
  13. Termination orders for 3-polygraphs math.CT · 2006 · author #1
  14. Termination orders for 3-dimensional rewriting math.CT · 2006 · author #1

Mentions

  • 1402.2587 #1 · backfill · confidence 0.70 Yves Guiraud
  • 1203.5358 #2 · backfill · confidence 0.70 Yves Guiraud
  • 1011.0558 #1 · backfill · confidence 0.70 Yves Guiraud
  • 1004.1055 #1 · backfill · confidence 0.70 Yves Guiraud
  • 0910.4538 #1 · backfill · confidence 0.70 Yves Guiraud
  • 0810.1442 #1 · backfill · confidence 0.70 Yves Guiraud

Frequent Coauthors