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

Applications

von Vincent van Oostrom

Taschenbuch

ISBN: 978-3-540-22153-1

ISBN-10: 3-540-22153-0

Springer · 2008

Siehe auch:
2014PaperbackRewriting Techniques and Applications: 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings