path ordering

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

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

Danh mục:

total order