Extending Reduction Orderings to ACU-Compatible Reduction Orderings

Uwe Waldmann

Information Processing Letters, 67(1):43-49, July 1998. [Preprint]

Abstract: We show that every reduction ordering over terms not containing + that is total on ground terms and for which 0 is minimal can be extended to an ordering that is ACU-compatible (or AC-compatible) and has the multiset property. To construct the extension ordering we use a variant of the self-labelling technique of Middeldorp, Ohsaki, and Zantema.

Previous | Up | Next
Uwe Waldmann <uwe@mpi-inf.mpg.de>, 1999-03-02.
Imprint | Data Protection