Rewriting Techniques and Applications
Subtitle: 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings
Publisher: Springer London, Limited
Published: 2004
Language: eng
ISBN-13: 9783540259794