by Andrei Voronkov (Editor)
This book constitutes the refereed proceedings of the 19th International Conference on Rewriting Techniques and Applications, RTA 2008, held in Hagenberg, Austria, July 15-17, in June 2008 as part of the RISC Summer 2008.
Format: Paperback
Pages: 457
Edition: illustrated edition
Publisher: Springer
Published: 04 Jul 2008
ISBN 10: 3540705880
ISBN 13: 9783540705888