Talk:Overlap (term rewriting)
Appearance
(Redirected from Talk:Overlap (term rewriting)/Comments)
![]() | 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)