Sur le semi anneau de résolution
On étudie dans cette thèse une structure de semi-anneau dont le produit est basé sur la règle de résolution de la programmation logique. Cet objet mathématique a été initialement introduit dans le but de modéliser la procédure d'élimination des coupures de la logique linéaire, dans le cadre du...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | en |
| Published: |
2014
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2014AIXM4073/document |