Jump to content

Talk:Path ordering (term rewriting)

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

Total or partial order?

[edit]

I am no expert on this topic, but should path orderings not be well-founded, strict partial orders? Especially: Must they not allow for branching paths for confluence (though not mentioned in this article) to be meaningful? 2A02:FE1:E07F:D200:5173:FA7D:7030:AC1 (talk) 06:01, 26 February 2024 (UTC)[reply]