Comon, Hubert. Ed.
Rewriting Techniques and Applications Proceedings, 8th International Conference, Spain, 1997 - Berlin Springer 1997 - 338 - Lecture notes in computer science ; 01232 .
3540629505
Rewriting Techniques and Applications
681 LNCS
Rewriting Techniques and Applications Proceedings, 8th International Conference, Spain, 1997 - Berlin Springer 1997 - 338 - Lecture notes in computer science ; 01232 .
3540629505
Rewriting Techniques and Applications
681 LNCS