Term rewriting and applications
Subtitle: 16th international conference, RTA 2005, Nara, Japan, April 19-21, 2005 : proceedings
By: Jürgen Giesl (ed.).
Contributors: Giesl, Jürgen.
Series: Lecture notes in computer science,; 3467
Publisher: Springer
Published: 2005
Place of publication: Berlin; New York, N.Y
Language: eng
Number of pages: 515
ISBN-13: 9783540255963
Subjects: Rewriting systems (Computer science) -- Congresses.
Genres: Congresses.
Other titles: RTA 2005
Notes: Includes bibliographical references and index.
"This volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA 2005)"--Preface.
Also issued online.