|
 
|
[CGP09a] Matrix interpretations revisited
Conférence Internationale avec comité de lecture : Extended Abstracts of the 10th International Workshop on Termination, WST'09, Leipzig, Germany, Ju, January 2009, pp.4,
motcle:
Résumé:
This paper presents a generalization of the matrix interpretation orderings used to prove the termination of term rewriting systems. This extension allows
for more orderings and more matrices without increasing the search space.
BibTeX
| @inproceedings { | |||
| CGP09a, | |||
| title | = | "{Matrix interpretations revisited}", | |
| author | = | " P. Courtieu and G. Gbedo and O. Pons ", | |
| booktitle | = | "{Extended Abstracts of the 10th International Workshop on Termination, WST'09, Leipzig, Germany, Ju}", | |
| year | = | 2009, | |
| month | = | "January", | |
| pages | = | "4", | |
| } | |||
