非表示:
キーワード:
-
要旨:
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.