Bonnes démonstrations en déduction modulo
Cette thèse étudie comment l'intégration du calcul dans les démonstrations peut les simplifier. Nous nous intéressons pour cela à la déduction modulo et à la surdéduction, deux formalismes proches dans lesquels le calcul est incorporé dans les démonstrations via un système de réécriture. Pour a...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université Henri Poincaré - Nancy I
2009
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00372596 http://tel.archives-ouvertes.fr/docs/00/37/25/96/PDF/manuscript.pdf http://tel.archives-ouvertes.fr/docs/00/37/25/96/ANNEX/soutenance.pdf |