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

Saved in:
Corporate Author: International Conference on Rewriting Techniques and Applications
Other Authors: Bachmair, Leo, (Editor, ed.)
Format: Book
Language:English
Published: Berlin ; Springer, c2000.
Series:Lecture notes in computer science (Springer).
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!

Similar Items