Rewriting Techniques and Applications: 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings

von Vincent van Oostrom

Taschenbuch

EAN=ISBN-13: 978-3-662-19564-2

ISBN-10: 3-662-19564-X

Springer · 2014

S. auch:
2008TaschenbuchRewriting Techniques and Applications: 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings (Lecture Notes in Computer Science, Band 3091)