Rewriting techniques and applications
Pierre Lescanne
This volume contains the proceedings of the Second International Conference on Rewriting Techniques and Applications, "RTA 87", held in Bordeaux, France, May 1987.
Ссылка удалена правообладателем
----
The book removed at the request of the copyright holder.