Rewriting Techniques and Applications : Bordeaux, France, May 25-27, 1987. Proceedings

Bok av 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.