Déduction et Unification dans les Théories Permutatives
Il existe de nombreux démonstrateurs automatiques qui effectuent des raisonnements modulo une théorie équationnelle, c'est-à-dire enconsidérant non pas des termes, mais des classes d'équivalence de termes. En général, les travaux accomplis dans ce domaine ont pour but de concevoir des tech...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
2005
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00011236 http://tel.archives-ouvertes.fr/docs/00/05/24/61/PDF/theseEchenim.pdf |