Rewriting techniques and applications：5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993 : proceedings

Corporate Authors: International Conference on Rewriting Techniques and Applications (5th 1993 Montreal, Que.)
Group Author: Kirchner Claude.
Published: Springer-Verlag,
Publication Dates: c1993.
Call Number: TP314-532/R454/1993/