-
Correctness of the FPNA neural paradigm
Rapport interne. -
Induction for termination
Rapport interne. -
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. -
Simplification and Termination of Strategies in Rule-Based Languages
Colloque avec actes et comité de lecture. internationale. -
Outermost ground termination
Article dans revue scientifique avec comité de lecture. internationale. -
Aide à la preuve et à la validation en programmation par règles
Stage de DEA. Rapport de stage. -
Certification des preuves de terminaison par interprétations polynomiales
Stage de DEA. Rapport de stage.
