-
A complete Assignment Algorithm and Its Application in Constraint Declarative...
An important property of answer generation strategies for functional logic programming (FLP) languages is the complete exploration of the solution space. Integrating... -
E-unification by means of tree tuple synchronized grammars
International audience -
On the Links Among Face Processing, Language Processing, and Narrowing during...
International audience -
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. -
Outermost ground termination
Article dans revue scientifique avec comité de lecture. internationale. -
Theorem Proving Modulo
Article dans revue scientifique avec comité de lecture. internationale. -
Innermost sufficient completeness
Rapport interne. -
Proving weak termination also provides the right way to terminate
Article soumis a European joint conference on Theory And Practice of Software (ETAPS) 2004.. Rapport interne.
