Rewriting Techniques and Applications, 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991, Proceedings

Ronald V. Book, editor, Rewriting Techniques and Applications, 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991, Proceedings. Volume 488 of Lecture Notes in Computer Science, Springer, 1991.

Conference: RTA1991

Abstract

Abstract is missing.

Table of Contents