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

Tobias Nipkow, editor, Rewriting Techniques and Applications, 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings. Volume 1379 of Lecture Notes in Computer Science, Springer, 1998.

Conference: RTA1998

Abstract

Abstract is missing.

Table of Contents