Quelques aspects algorithmiques sur les systèmes de fermeture
Nous présentons dans cette thèse les définitions et notations liées aux systèmes de fermeture et montrons leur relation avec les théories de Horn. Nous nous intéressons ensuite à trois opérations sur les systèmes de fermeture : la borne supérieure, la borne inférieure et la différence. Nous proposon...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Université Blaise Pascal - Clermont-Ferrand II
2008
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00731341 http://tel.archives-ouvertes.fr/docs/00/73/13/41/PDF/2008CLF21897.pdf |