Talk:Path ordering (term rewriting)
Latest comment: 8 months ago by 2A02:FE1:E07F:D200:5173:FA7D:7030:AC1 in topic Total or partial order?
This article has not yet been rated on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||||||||||
|
Total or partial order?
editI 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)