Paper Description: MIP-9407
BibTeX entry:
@incollection{MIP-9407,
author="A. Geser",
title="An Improved General Path Order",
institution="Fakult{\"a}t f{\"u}r Mathematik und Informatik,
Universit{\"a}t Passau",
year=1994,
number={MIP-9407}
}
Abstract:
Dershowitz/Hoot's "general path order">qpo is a general scheme for a class of orders that are able to prove termination of many term rewriting systems. We simplify and improve the general path order, and demonstrate the power of the improved version by a proof of termination of a medium-scale-term rewriting system that models a lift control.
Paper itself:
Cross links:
Ulrike Peiker, Martin Griebl