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 jor international forum for the presentation of research on all aspects of rewriting. Previous RTA conferences took place in Dijon (1985), Bordeaux (1987), Chapel Hill (1989), Como (1991), Montreal (1993), Kaise- lautern (1995), Rutgers (1996), Sitges (1997), Tsukuba (1998), Trento ...
Read More
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 jor international forum for the presentation of research on all aspects of rewriting. Previous RTA conferences took place in Dijon (1985), Bordeaux (1987), Chapel Hill (1989), Como (1991), Montreal (1993), Kaise- lautern (1995), Rutgers (1996), Sitges (1997), Tsukuba (1998), Trento (1999), Norwich (2000), and Utrecht (2001). A total of 20 regular papers,2 application papers and 4 system descriptions were selected for presentation from 49 submissions from Argentina (1), Brazil 2 1 5 ( ), Czech Republic (1), France (13), Germany (8), Israel ( ), Italy (1 ), Japan 3 3 6 1 (6), The Netherlands (2), Poland (1), Portugal (1 ), Rumania (1), Spain (4), UK 3 5 1 1 ( ), Uruguay ( ), USA (5 ), Venezuela (1). The program committee awarded 6 2 2 the best paper prize to Paul-Andr??? e Melli` es for his paper Residual Theory Re- sited. This paper presents an elegant and subtle generalization of Jean-Jacques L??? evy's residual theory. I am especially grateful to the invited speakers Franz Baader, John Mitchell, and Natara jan Shankar for accepting our invitation to present us their insights into their research areas.
Read Less
Add this copy of Rewriting Techniques and Applications: 13th to cart. $53.32, very good condition, Sold by GuthrieBooks rated 4.0 out of 5 stars, ships from Spring Branch, TX, UNITED STATES, published 2002 by Springer.
Add this copy of Rewriting Techniques and Applications: 13th to cart. $58.10, like new condition, Sold by GreatBookPricesUK5 rated 4.0 out of 5 stars, ships from Castle Donington, DERBYSHIRE, UNITED KINGDOM, published 2002 by Springer.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Fine. Trade paperback (US). Glued binding. 392 p. Lecture Notes in Computer Science, 2378. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
Add this copy of Rewriting Techniques and Applications: 13th to cart. $58.64, new condition, Sold by GreatBookPrices rated 4.0 out of 5 stars, ships from Columbia, MD, UNITED STATES, published 2002 by Springer.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Trade paperback (US). Glued binding. 392 p. Lecture Notes in Computer Science, 2378. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
Add this copy of Rewriting Techniques and Applications: 13th to cart. $60.65, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2002 by Springer.
Add this copy of Rewriting Techniques and Applications: 13th to cart. $61.21, like new condition, Sold by GreatBookPrices rated 4.0 out of 5 stars, ships from Columbia, MD, UNITED STATES, published 2002 by Springer.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Fine. Trade paperback (US). Glued binding. 392 p. Lecture Notes in Computer Science, 2378. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
