previous up next contents
Précédent : Déduction avec contraintes Remonter : Déduction automatique Suivant : Les logiques et

Déduction avec sortes ordonnées et égalités

Participants : Claus Hintermeier, Claude Kirchner, Hélène Kirchner

L'étude de la déduction avec sortes ordonnées se poursuit dans l'équipe depuis plusieurs années et s'est concrétisée par la thèse de C. Hintermeier [4]. Cette thèse présente l'ensemble des résultats suivants.