[Haskell-cafe] Associative Commutative Unification
voigt at tcs.inf.tu-dresden.de
Fri Jul 11 08:51:05 EDT 2008
John D. Ramsdell wrote:
>>Are you aware of "Term Rewriting and all That"? It describes how to do
>>associative commutative unification; whether it satisfies your
>>'obviously correct' criterion I don't know.
> Oh yes, I know about term rewriting.
I think Edsko was more specifically referring to the book "Term
Rewriting and all That" by Baader and Nipkow.
Dr. Janis Voigtlaender
mailto:voigt at tcs.inf.tu-dresden.de
More information about the Haskell-Cafe