Confluence properties of rewrite rules by decreasing diagrams
Cette thèse étudie la confluence des systèmes de récriture en l'absence de propriété de terminaison, pour des applications aux langages fonctionnels de premier ordre comme MAUDE, ou aux langages d'ordre supérieur comportant des types dépendants, comme Dedukti. Dans le premier cas, les calc...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | en |
| Published: |
2016
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2016SACLX044/document |