Relative termination in term rewriting
Hans Zantema, Michael Codish, Arie Middelkoop · TU/e Research Portal · 2004
We investigate • how current techniques for proving termination for term rewriting systems (TRSs) essentially use relative termination, although not always stated explicitly, • how using relative termination is helpful for proving termination in a modular way, • which techniques for proving termination easily extend to proving relative termination, • how for some applications relative termination is the natural underlying concept, justifying studying relative termination in itself.