Rewriting techniques and applications : 13th international conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings /
This book constitutes the refereed proceedings of the 13th International Conference on Rewriting Techniques and Applications, RTA 2002, held in Copenhagen, Denmark, in July 2002. The 20 regular papers, two application papers, and four system descriptions presented together with three invited contrib...
Corporate Author: | |
---|---|
Other Authors: | |
Format: | Conference Proceeding Book |
Language: | English |
Published: |
Berlin ; New York :
Springer,
c2002
Berlin ; New York : ©2002 New York : 2002 |
Series: | Lecture notes in computer science,
2378 Lecture notes in computer science ; 2378 Lecture notes in computer science Lecture notes in artificial intelligence Lecture notes in computer science Lecture notes in artificial intelligence. |
Subjects: |
Internet
Stanford University
Call Number: |
INTERNET RESOURCE |
---|
Massachusetts Institute of Technology
Call Number: |
QA267.I555 2002 |
---|
Johns Hopkins University
Call Number: |
QA267.I555 2002 |
---|
Duke University
Call Number: |
001.64 L471, v. 2378 |
---|
Cornell University
Call Number: |
QA267 .R45x2002 |
---|
Brown University
Call Number: |
QA267 .I555 2002 |
---|