Rewriting Techniques and Applications: 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991. Proceedings (Lecture Notes in Computer Science (488), Band 488)

Applications

von Ronald V. Book

Taschenbuch

ISBN: 978-3-540-53904-9

ISBN-10: 3-540-53904-2

Springer · 2008