Lescanne, Pierre. Ed.
Rewriting Techniques and Applications Proceedings, Bordeaux, 1987 - Berlin Springer Verlag 1987 - 285 - Lecture notes in computer science ; 00256 .
3540172203
Rewriting Techniques and Applications
681 LNCS
Rewriting Techniques and Applications Proceedings, Bordeaux, 1987 - Berlin Springer Verlag 1987 - 285 - Lecture notes in computer science ; 00256 .
3540172203
Rewriting Techniques and Applications
681 LNCS