Ebook: Rewriting Techniques and Applications: 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004. Proceedings
- Tags: Mathematical Logic and Formal Languages, Logics and Meanings of Programs, Programming Languages Compilers Interpreters, Artificial Intelligence (incl. Robotics), Symbolic and Algebraic Manipulation
- Series: Lecture Notes in Computer Science 3091
- Year: 2004
- Publisher: Springer-Verlag Berlin Heidelberg
- Edition: 1
- Language: English
- pdf
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.
Download the book Rewriting Techniques and Applications: 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004. Proceedings for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)