Yves Guiraud

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

Coauthor Index

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

Colors in the list of coauthors