Rewriting Techniques and Applications: 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings - Lecture Notes in Computer Science 3091 (Paperback)
  • Rewriting Techniques and Applications: 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings - Lecture Notes in Computer Science 3091 (Paperback)
zoom

Rewriting Techniques and Applications: 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings - Lecture Notes in Computer Science 3091 (Paperback)

(editor)
£62.99
Paperback 315 Pages / Published: 24/05/2004
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
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 took place in Dijon (1985), Bordeaux (1987), Chapel Hill (1989), Como (1991), Montreal (1993), Kaiserslautern (1995), Rutgers (1996), Sitges (1997), Tsukuba (1998), Trento (1999), Norwich (2000), Utrecht (2001), Copenhagen (2002), and Valencia (2003). The program committee selected 19 papers for presentation, including ?ve system descriptions, from a total of 43 submissions. In addition, there were invited talks by Neil Jones, Aart Middeldorp, and Robin Milner. Many people helped to make RTA 2004 a success. I am grateful to the m- bers of the program committee and the external referees for reviewing the s- missionsandmaintainingthehighstandardsoftheRTAconferences. Itisagreat pleasure to thank the conference chair Jurgen .. Giesl and the other members of the local organizing committee. They were in charge of the local organization of all events partaking in the Federated Conference on Rewriting, Deduction, and Programming (RDP). Apart from RTA 2004, these events were: - 2nd International Workshop on Higher-Order Rewriting (Delia Kesner, Femke van Raamsdonk, and Joe Wells), - 5th International Workshop on Rule-Based Programming (Slim Abdennadher and Christophe Ringeissen), - 13thInternationalWorkshoponFunctionaland(Constraint)LogicProgr- ming (Herbert Kuchen), - IFIP Working Group 1.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540221531
Number of pages: 315
Weight: 1030 g
Dimensions: 233 x 155 x 17 mm
Edition: 2004 ed.

You may also be interested in...

C++ For Dummies
Added to basket
£21.99
Paperback
Programming
Added to basket
£55.49
Paperback
A Tour of C++
Added to basket
£25.99
Paperback
C++ Primer
Added to basket
£44.49
Paperback
The C++ Programming Language
Added to basket
Python For Dummies
Added to basket
£22.99
Paperback
C++ Templates
Added to basket
£59.49
Hardback
Accelerated C++
Added to basket
£36.99
Paperback
C Pocket Reference
Added to basket
£7.99
Paperback
Seven Languages in Seven Weeks
Added to basket
M Is for (Data) Monkey
Added to basket
£26.99
Paperback
Test Driven Development in C
Added to basket
R Cookbook
Added to basket
£31.99
Paperback
C Programming Language
Added to basket
The Art Of R Programming
Added to basket
C Programming in Easy Steps
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.