Rewriting Techniques and Applications, 9th International Conference, RTA-98, Tsukuba, Japan, March 30

Tobias Nipkow Rewriting Techniques and Applications, 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings RTA Lecture Notes in Computer Science 1379 Springer 1998 3-540-64301-X db/conf/rta/rta98.html