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; New York
Language: eng
Number of pages: 361
Subjects: Rewriting systems (Computer science) -- Congresses; Computer programming -- Congresses; Algorithms -- Congresses
Genres: Congresses.
Notes: Includes bibliographical references and index.
Also available at Internet address: http://link.springer.de/series/lncs/.