Terese

This is the accompanying webpage of the book:

Term Rewriting Systems by Terese
Cambridge Tracts in Theoretical Computer Science, Vol. 55, Cambridge University Press, 2003

• Publisher announcement
• Who is Terese?
• Table of contents of the book (pdf)
• Chapter outlines
• Book reviews
• Solutions to selected exercises
• Errata
• Extras
• Links