Rewriting techniques and applications：11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings

Corporate Authors: International Conference on Rewriting Techniques and Applications 2000 Norwich, England) (Norwich, England))
Group Author: Bachmair Leo.
Published: Springer,
Publication Dates: c2000.
Call Number: TP314-532/R454/2000