path ordering

in term rewriting, a well-founded strict total order (>) on the set of all terms

en-US/ˈpæθ ˈɔɹdɚɪŋ/
en-GB/pɑːθ ˈɔːdəɹɪŋ/

Kategoriler:

total order