Lecture Notes in Computer Science: Bordeaux, France, May 25-27, 1987. Proceedings

Lescanne, Pierre

This volume contains the proceedings of the Second International Conference on Rewriting Techniques and Applications, "RTA 87", held in Bordeaux, France, May 1987.

Details

Published by: Springer

Publication Date: 1987-05-14

Format: Paperback

ISBN-13: 9783540172208

DOI: 10.1007/3-540-17220-3

Dimensions: 235cm x155cm

Pages: 288