[Haskell-cafe] Associative Commutative Unification

Janis Voigtlaender 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 mailing list