Take a photo of a barcode or cover
Read With Others
Book Information
392 pages • paperback • 1 edition
ISBN/UID: 9783540439165
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 10 Jul 2002
Description
This volume contains the proceedings of the 13th International Conference on Rewriting Techniques and Applications (RTA 2002), which was held July 22- 24,2002 in Copenhagen as part of the 3rd Federated Logic Conference (FLoC 2002). RTA is the ma j...
Community Reviews
Content Warnings
392 pages • paperback
ISBN/UID: 9783540439165
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 10 Jul 2002
Description
This volume contains the proceedings of the 13th International Conference on Rewriting Techniques and Applications (RTA 2002), which was held July 22- 24,2002 in Copenhagen as part of the 3rd Federated Logic Conference (FLoC 2002). RTA is the ma j...
Community Reviews
Content Warnings