Date: 08 May 2001

On Termination of Higher-Order Rewriting

* Final gross prices may vary according to local VAT.

Get Access

Abstract

We discuss the termination methods using the higher-order recursive path ordering and the general scheme for higher-order rewriting systems and combinatory reduction systems.