Rewriting Techniques and Applications, 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002, Proceedings

Sophie Tison Rewriting Techniques and Applications, 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002, Proceedings RTA Lecture Notes in Computer Science 2378 Springer 2002 3-540-43916-1 db/conf/rta/rta2002.html