Termination of Term Rewriting By Interpretation (1992)
by
H. Zantema
,
H. Zantema
,
H. Zantema
| Citations: | 13 - 3 self |
BibTeX
@MISC{Zantema92terminationof,
author = {H. Zantema and H. Zantema and H. Zantema},
title = {Termination of Term Rewriting By Interpretation},
year = {1992}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We investigate how to prove termination of term rewriting systems by interpretation of terms. This can be considered as a generalization of polynomial interpretations. A classification of types of termination is proposed built on properties in the semantic level. A transformation on term rewriting systems eliminating distributive rules is introduced. Using this distribution elimination a new termination proof of SUBST from [9] is given.
