Institut de Mathématiques de Luminy

BIBLIOGRAPHIE - Yves GUIRAUD



Année
Publications
Files or Links
  Guiraud Yves.
Termination orders for 3-dimensional rewriting
Accepté dans : Journal of Pure and Applied Algebra.

  Guiraud Yves.
Two polygraphic descriptions of Petri nets.
Accepté dans : Theoretical Computer Science.

2006 Guiraud Yves.
The three dimensions of proofs.
Annals of Pure and Applied Logic,vol. 141, fascicules 1-2, 266-295, 2006.

  Guiraud Yves.
Termination orders for 3-polygraphs.
C. R. Math. Acad. Sci. Paris 342, no. 4, 219--222, 2006.

2005 Guiraud Yves.
The three dimensions of proofs.
Proceedings of Structures and Deduction, Pages 35-52, Lisbonne, Portugal, juillet 2005.

  Guiraud Yves, Gouaich Abdelkader, Michel Fabien.
MIC*: a deployment environment for autonomous agents.
Lecture Notes in Computer Science 3374, 2005.

2003

Guiraud Yves, Gouaich Abdelkader.
MIC*: algebraic agent deployment environment.
Lecture Notes in Computer Science 2871, 2003.

 

Thèse
(Thesis)
 
2004 Présentations d'opérades et systèmes de réécriture [Operad presentations and rewriting systems].
Thèse de Doctorat, Université Montpellier 2, 28 juin 2004.