Terese

Cover 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



The next TeReSe will take place Thursday, June 22, 2006 at the VU in Amsterdam.