عنوان

Rewriting techniques and applications : 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings

Rewriting techniques and applications : 12th international conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001 : proceedings

12th : 2001 : Utrecht, Netherlands

Berlin

Springer-Verlag

c2001

xii, 361 p.: ill., tables

Lecture notes in computer science; 1502

Also available at Internet address : http://link.springer.de/series/Incs/.

Includes bibliographies

ISBN: 3540421173

Aart Middeldorp )ed.(

Congresses ، Rewriting systems )Computer science(

Congresses ، Computer programming

Congresses ، Algorithms

L28

Vol

2051

AU Middeldorp, Aart, 1963-

International Conference on Rewriting Techniques and Applications