Liknande böcker
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.