Certifying a Termination Criterion Based on Graphs, without Graphs
Résumé
This paper presents a extention of the matrix interpretation ordering for term rewriting system termination.
This paper presents a extention of the matrix interpretation ordering for term rewriting system termination.
Connectez-vous pour contacter le contributeur
https://hal.science/hal-01125530
Soumis le : vendredi 6 mars 2015-11:12:38
Dernière modification le : mercredi 9 juillet 2025-15:06:18