Contents of the Proceedings of the
11th International Conference on Rewriting Techniques and Applications.
Norwich, U.K., July 10-12, 2000.
Lecture Notes in Computer Science, Vol. 1833, Springer Verlag.

Editor: Leo Bachmair.


Invited Talks Invited Tutorial Regular Papers System Descriptions