Rewriting Techniques and Applications: 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 Proceedings (Lecture Notes in Computer Science, Band 1833)

Applications

von Leo Bachmair

Taschenbuch

ISBN: 978-3-540-67778-9

ISBN-10: 3-540-67778-X

Springer · 2008