-
Kenya : Région de Nairobi : Parc national de Nairobi : Elans d'Afrique dans l...
Vue d'élands broutant dans la savane. -
$\rho$-Calculus. Its Syntax and Basic Properties
Rapport interne. -
Implantation de l'algorithme de Stalmarck dans le cadre de la cooperation COQ...
Stage de fin d'etudes. Rapport de stage. -
CARIBOO: An Induction Based Proof Tool for Termination with Strategies -- Ext...
Version étendue d'un article publié dans les actes de :"Fourth International Conference on Principles and Practice of Declarative Programming", Pitsburgh, USA, Octobre 2002, ACM... -
CARIBOO: A Multi-Strategy Termination Proof Tool Based on Induction
Colloque sur invitation. internationale. -
Extracting Mathematical Semantics from LaTeX Documents
Colloque avec actes et comité de lecture. internationale. -
Formalisation et évaluation de politiques P3P
Colloque avec actes et comité de lecture. nationale. -
Projet GasEl. Elaboration d'un logiciel de génération de mécanismes détaillés...
Rapport de contrat. -
Projet GasEl. Elaboration d'un logiciel de génération de mécanismes détaillés...
Rapport de contrat. -
Manipulating Algebraic Specifications with Term-based and Graph-based Represe...
Special Issue on Annotated Terms (ATerms). Article dans revue scientifique avec comité de lecture. nationale.
