English
 
User Manual Privacy Policy Disclaimer Contact us
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT

Released

Journal Article

Extending reduction orderings to ACU-compatible reduction orderings

MPS-Authors
/persons/resource/persons45689

Waldmann,  Uwe
Automation of Logic, MPI for Informatics, Max Planck Society;
Programming Logics, MPI for Informatics, Max Planck Society;

Locator
There are no locators available
Fulltext (public)
There are no public fulltexts available
Supplementary Material (public)
There is no public supplementary material available
Citation

Waldmann, U. (1998). Extending reduction orderings to ACU-compatible reduction orderings. Information Processing Letters, 67(1), 43-49.


Cite as: http://hdl.handle.net/11858/00-001M-0000-000F-3837-B
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.