Rewriting techniques and applications
Subtitle: 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings
By: Aart Middeldorp (ed.)
Contributors: Middeldorp, Aart, 1963-
Series: Lecture notes in computer science -- 2051.
Publisher: Springer
Published: 2001
Place of publication: Berlin; London
Number of pages: 361
Subjects: Rewriting systems (Computer science) -- Congresses.; Computer programming -- Congresses.; Algorithms -- Congresses.
Genres: Congresses.
Notes: Includes bibliographical references and index.