Rewriting techniques and applications : 15th international conference, RTA 2004, Aachen, Germany, June 3-5, 2004 : proceedings /

This volume contains the proceedings of the 15th International Conference on Rewriting Techniques and Applications (RTA 2004), which was held June 2– 5, 2004, at the RWTH Aachen in Germany. RTA is the major forum for the presentation of research on all aspects of rewriting. Previous RTA conferences...

Full description

Bibliographic Details
Corporate Author:	International Conference on Rewriting Techniques and Applications Aachen, Germany
Other Authors:	Oostrom, Vincent van, 1966-
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin : Springer, 2004 Berlin ; New York : c2004 Berlin ; New York, NY : c2004 Berlin ; New York : 2004
Series:	Lecture notes in computer science, 3091 Lecture notes in computer science ; 3091 Lecture notes in computer science 3091 Lecture notes in computer science 3091
Subjects:	Algebra > Data processing Algorithms > Congresses Artificial intelligence Computer programming > Congresses Computer science Logic design Rewriting systems (Computer science) > Congresses Algorithms Computer programming Rewriting systems (Computer science) Conference papers and proceedings Kongress

Internet

University of Chicago

Holdings details from University of Chicago
Call Number:	QA267 .I58 2004

Harvard University

Holdings details from Harvard University
Call Number:	QA75 .L4 vol. 3091

Duke University

Holdings details from Duke University
Call Number:	001.64 L471, v. 3091

Columbia University

Holdings details from Columbia University
Call Number:	QA267 .I555 2004g

University of Pennsylvania

Holdings details from University of Pennsylvania
Call Number:	QA267 .I58 2004

Brown University

Holdings details from Brown University
Call Number:	QA267.I58 R49x 2004