Home
|
Papers
|
Misc
|
Identities among relations for higher-dimensional rewriting systems
[pdf]
(with Philippe Malbos)
Séminaires et Congrès, SMF, 16 pages, to appear
Higher-dimensional categories with finite derivation type
[pdf]
(with Philippe Malbos)
Theory and Applications of Categories 22(18):420-478 (2009)
Polygraphic programs and polynomial-time functions
[pdf]
doi
(with Guillaume Bonfante)
Logical Methods in Computer Science 5(2:14):1-37 (2009)
Intensional properties of polygraphs
[pdf]
doi
(with Guillaume Bonfante)
Electronic Notes in Theoretical Computer Science 203(1):65-77 (2008)
The three dimensions of proofs
[pdf]
doi
Annals of Pure and Applied Logic 141(1-2):266-295 (2006)
Two polygraphic presentations of Petri nets
[pdf]
doi
Theoretical Computer Science 360(1-3):124-146 (2006)
Termination orders for 3-dimensional rewriting
[pdf]
doi
Journal of Pure and Applied Algebra 207(2):341-371 (2006)
Termination orders for 3-polygraphs
[pdf]
doi
Comptes-Rendus de l'Académie des Sciences (Mathématiques) 342(4):219-222 (2006)
The three dimensions of proofs (research project)
[pdf]
Proceedings of
Structures and Deduction 2005
MIC*: a deployment environment for autonomous agents
[pdf]
(with
Abdelkader Gouaich
and
Fabien Michel)
Lecture Notes in Computer Science 3374 (2005)
MIC*: algebraic agent deployment environment
(with
Abdelkader Gouaich)
Lecture Notes in Computer Science 2871 (2003)
Polygraphs for termination of left-linear term rewriting systems
[pdf]
Note,
15 pages, 2007
Présentations d'opérades et systèmes de réécriture
[pdf]
[Operad presentations and rewriting systems]
"Doctorat" thesis - Université Montpellier 2 (2004)
Algébroïdes de Lie et algèbres de Batalin-Vilkovisky
[Lie algebroids and Batalin-Vilkovisky algebras]
"DEA" thesis - Université Montpellier 2 (2000)
Il n'y a pas de trou à l'infini dans un monoïde commutatif de type fini
[There is no hole at infinity in a commutative monoid of finite type]
"Maîtrise" thesis - Université Montpellier 2 (1999)