Talk:Overlap (term rewriting)
Latest comment: 14 years ago by Ansa211 in topic Assessment comment
 | This article is rated Stub-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||
| |||||||||||
Assessment comment edit
The comment(s) below were originally left at Talk:Overlap (term rewriting)/Comments, and are posted here for posterity. Following several discussions in past years, these subpages are now deprecated. The comments may be irrelevant or outdated; if so, please feel free to remove this section.
| I think the critical pair in the example should be (f(f(x, x), y), y). Ansa211 (talk) 14:08, 31 August 2009 (UTC) |
Last edited at 14:08, 31 August 2009 (UTC). Substituted at 02:26, 5 May 2016 (UTC)