Selected papers of the fifth International Conference on Rewriting Techniques and Applications, Montreal, Canada, 16-18 June 1993
By: guest editor: C. Kirchner.
Contributors: Kirchner, Claude.
Series: Theoretical computer science -- vol.142 (2)
Publisher: Elsevier
Published: 1995
Place of publication: Amsterdam; Oxford
Language: eng