RTA 2003: Rewriting Techniques and Applications: 14th international conference, RTA 2003, Valencia, Spain, June 9-11, 2003: proceedings

Shelfclass_id 3.A
Sortkey RTA
Authors Robert Nieuwenhuis
Title RTA 2003: Rewriting Techniques and Applications: 14th international conference, RTA 2003, Valencia, Spain, June 9-11, 2003: proceedings
Publisher Springer-Verlag
Year c2003
Languages eng
Isbn 3540402543
Series Lecture Notes in Computer Science
Volume 2706
Issn 0302-9743
Description (pbk.: acid-free paper) xi, 514 p. ill. 24 cm
Record date 20060628
Location New York
Keywords Rewriting systems (Computer science), Computer programming, Algorithms, WWW-All Online Materials in CLAS, WWW-Books, WWW-Computer Science E-materials, WWW-R-titles
Urlnote <a href="http://link.springer-ny.com/link/service/series/0558/tocs/t2706.htm" TARGET="_blank">Rewriting techniques and applications [electronic book]</a>
Urls http://link.springer-ny.com/link/service/series/0558/tocs/t2706.htm