[Haskell-cafe] Associative Commutative Unification

John D. Ramsdell ramsdell0 at gmail.com
Fri Jul 11 21:48:03 EDT 2008


> I think Edsko was more specifically referring to the book "Term
> Rewriting and all That" by Baader and Nipkow.

Thanks for pointing this out--I was confused.  I notice the book has a
chapter on equational unification that includes a section on AC
unification.  This book looks like a winner.  Thank you.

John


More information about the Haskell-Cafe mailing list