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.
Communication Dans Un Congrès
Année : 2008
Laboratoire CEDRIC : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01125530
Soumis le : vendredi 6 mars 2015-11:12:38
Dernière modification le : vendredi 19 juillet 2024-11:38:04
Dates et versions
Identifiants
- HAL Id : hal-01125530 , version 1
Citer
Pierre Courtieu, Julien Forest, Xavier Urbain. Certifying a Termination Criterion Based on Graphs, without Graphs. TPHOLs'08 Theorem Proving in Higher Order Logics, Montr?al, Canada, Jan 2008, Montreal, Canada. pp.183-198. ⟨hal-01125530⟩
Collections
51
Consultations
0
Téléchargements