Preuve par induction dans le calcul des séquents modulo
Nous présentons une méthode originale de recherche de preuve par récurrence utilisant la surréduction. Elle a la particularité d'être fondée sur la déduction modulo et d'utiliser la surréduction pour sélectionner à la fois les variables de récurrence et les schémas d'instanciation. El...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université Henri Poincaré - Nancy I
2007
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00259803 http://tel.archives-ouvertes.fr/docs/00/25/99/55/PDF/these.pdf http://tel.archives-ouvertes.fr/docs/00/25/99/55/ANNEX/Soutenance.pdf |