dblp.uni-trier.dewww.uni-trier.de

Yves Guiraud

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)