Term rewriting and applications
Subtitle: 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006 : proceedings
By: Frank Pfenning (ed.).
Contributors: Pfenning, Frank.
Series: Lecture notes in computer science -- 4098
Publisher: Springer
Published: 2006
Place of publication: Berlin
Language: eng
Number of pages: 414
ISBN-13: 9783540368342
Subjects: Rewriting systems (Computer science) -- Congresses; Computer programming -- Congresses; Algorithms -- Congresses
Genres: Congresses.
Other titles: RTA 2006
Notes: Includes bibliographical references and index.

Also issued online.