Ebook: Rewriting Techniques and Applications: Bordeaux, France, May 25–27, 1987 Proceedings
- Tags: Mathematical Logic and Formal Languages
- Series: Lecture Notes in Computer Science 256
- Year: 1987
- Publisher: Springer-Verlag Berlin Heidelberg
- Edition: 1
- Language: English
- djvu
This volume contains the proceedings of the Second International Conference on Rewriting Techniques and Applications, "RTA 87", held in Bordeaux, France, May 1987.
This volume contains the proceedings of the Second International Conference on Rewriting Techniques and Applications, "RTA 87", held in Bordeaux, France, May 1987.
Download the book Rewriting Techniques and Applications: Bordeaux, France, May 25–27, 1987 Proceedings for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)