Yves Guiraud

	2008
12		Guillaume Bonfante, Yves Guiraud: Intensional Properties of Polygraphs. Electr. Notes Theor. Comput. Sci. 203(1): 65-77 (2008)
	2007
11		Yves Guiraud: Polygraphs for termination of left-linear term rewriting systems CoRR abs/cs/0702040: (2007)
10		Guillaume Bonfante, Yves Guiraud: Intensional properties of polygraphs CoRR abs/cs/0703007: (2007)
9		Guillaume Bonfante, Yves Guiraud: Programs as polygraphs: computability and complexity Logical Methods in Computer Science 5(2): (2007)
	2006
8		Yves Guiraud: The three dimensions of proofs. Ann. Pure Appl. Logic 141(1-2): 266-295 (2006)
7		Yves Guiraud: Termination orders for 3-dimensional rewriting CoRR abs/math/0612083: (2006)
6		Yves Guiraud: Termination orders for 3-polygraphs CoRR abs/math/0612084: (2006)
5		Yves Guiraud: Two polygraphic presentations of Petri nets CoRR abs/math/0612088: (2006)
4		Yves Guiraud: The three dimensions of proofs CoRR abs/math/0612089: (2006)
3		Yves Guiraud: Two polygraphic presentations of Petri nets. Theor. Comput. Sci. 360(1-3): 124-146 (2006)
	2004
2		Abdelkader Gouaich, Fabien Michel, Yves Guiraud: MIC: A Deployment Environment for Autonomous Agents. E4MAS 2004: 109-126
	2003
1		Abdelkader Gouaich, Yves Guiraud: MIC: Algebraic Agent Environment. ISMIS 2003: 216-220

Coauthor Index

1	Guillaume Bonfante	[9] [10] [12]
2	Abdelkader Gouaich	[1] [2]
3	Fabien Michel	[2]

Colors in the list of coauthors