ENGLISH

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

By Neil D. Jones , Nina Bohr (auth.) , Vincent van Oostrom (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2004
ISBN
978-3-540-22153-1, 978-3-540-25979-4, 3-540-22153-0
DOI
10.1007/b98160
Language
english
Format
PDF
Filesize
4 MB (4512010 bytes)
Series
Lecture Notes in Computer Science 3091
Edition
1
Pages
315\322
Time added
2014-01-18 08:00:00
CompilersInterpreters; Artificial Intelligence (incl. RobotMathematical Logic and Formal Languages; Logics an

Description

This book constitutes the refereed proceedings of the 15th International Conference on Rewriting Techniques and Applications, RTA 2004, held in Aachen, Germany in June 2004.

Similar books