Rewriting techniques and applications
Subtitle: 14th international conference, RTA 2003, Valencia, Spain, June 9-11, 2003 : proceedings
By: Robert Nieuwenhuis (ed.).
Contributors: Nieuwenhuis, Robert.
Series: Lecture notes in computer science -- 2706.
Publisher: Springer
Published: 2003
Place of publication: Berlin; New York
Language: eng
Number of pages: 514
Subjects: Rewriting systems (Computer science) -- Congresses; Computer programming -- Congresses; Algorithms -- Congresses
Genres: Congresses.
Notes: Includes bibliographical references and index.