Rewriting Techniques and Applications: 20th International Conference, RTA 2009, Brasilia, Brazil, June 29 - July 1, 2009 Proceedings: 20th ... Notes in Computer Science (5595), Band 5595)

von Ralf Treinen Taschenbuch Details (Deutschland) ISBN: 978-3-642-02347-7 ISBN-10: 3-642-02347-9 Springer Berlin Heidelberg · 2010