Talk:Overlap (term rewriting)

Latest comment: 15 years ago by Ansa211 in topic Assessment comment

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)Reply

Last edited at 14:08, 31 August 2009 (UTC). Substituted at 02:26, 5 May 2016 (UTC)