Rewriting Techniques and Applications: 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 Proceedings - Lecture Notes in Computer Science 1833 (Paperback)
  • Rewriting Techniques and Applications: 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 Proceedings - Lecture Notes in Computer Science 1833 (Paperback)
zoom

Rewriting Techniques and Applications: 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 Proceedings - Lecture Notes in Computer Science 1833 (Paperback)

(editor)
£62.99
Paperback 282 Pages / Published: 28/06/2000
  • We can order this

Usually despatched within 3 weeks

  • This item has been added to your basket
This volume contains the proceedings of the 11th International Conference on Rewriting Techniques and Applications. The conference was held July 10-12, 2000,attheUniversityofEastAnglia,Norwich,U. K. Itisthemajorforumfor thepresentationofresearchonalltheoreticalandpracticalaspectsofrewriting. InformationaboutpreviousRTAconferencescanbefoundat http://rewriting. loria. fr/rta/ andinformationaboutthegeneralresearchareaofrewritingat http://www. loria. fr/vigneron/RewritingHP/ Theprogramcommitteeselected18papers,includingthreesystemdescr- tions, from a total of 44 submissions. In addition the program included invited talksbyJoseMeseguer,DaleMiller,andAndreiVoronkov;andaninvitedtu- rialbySophieTison. ManypeoplecontributedtoRTA-2000andIwouldliketoexpressmysincere thanks to all of them. I am grateful to the program committee members and the external referees for reviewing the submissions and maintaining the high standard of the RTA conferences; to Richard Kennaway, who was responsible for the local arrangements for the conference; and to Jos' e Meseguer, the RTA publicitychair. ItisaparticularpleasuretothankAshishTiwariforhisextensive assistance in many of my tasks as the program chair. Finally, I wish to thank the School of Information Systems at the University of East Anglia both for ?nancialsupportandforprovidingthefacilities. May2000 LeoBachmair VI Organization ConferenceOrganization ProgramChair LeoBachmair(StonyBrook) ProgramCommittee FranzBaader(Aachen) GillesDowek(Rocquencourt) NeilGhani(Leicester) JuergenGiesl(Albuquerque) Jean-PierreJouannaud(Orsay) ChrisLynch(Potsdam,NewYork) AartMiddeldorp(Tsukuba) MitsuhiroOkada(Tokyo) FemkevanRaamsdonk(Amsterdam) AlbertRubio(Barcelona) YoshihitoToyama(Tatsunokuchi) RakeshVerma(Houston) LocalArrangementsChair RichardKennaway(Norwich) PublicityChair Jos' eMeseguer(MenloPark) RTAOrganizingCommittee HubertComon(Cachan) TobiasNipkow(Munich) NachumDershowitz,chair(Urbana) MichaelRusinowitch(Nancy) Jos' eMeseguer(MenloPark) YoshihitoToyama(Tatsunokuchi) External Referees VII ExternalReferees Y. Akama T. Aoto T. Arts F. Blanqui R. Bloo A. Boudet J. Chrzaszcz E. Contejean D. Dougherty K. Erk M. Fernandez W. Fokkink G. Godoy B. Gramlich T. Ida F. Jacquemard S. Kahrs Y. Kaji D. Kesner K. Kusakari F. Lang C. Luth .. M. Leucker J. Levy R. Matthes R. Mayr B. Monate J. J. MorenoNavarro M. Nagayama P. Narendran J. Niehren R. Nieuwenhuis K. Ogata E. Ohlebusch S. Okui C. -H. L.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540677789
Number of pages: 282
Weight: 910 g
Dimensions: 235 x 155 x 15 mm
Edition: 2000 ed.

You may also be interested in...

Black Hat Python
Added to basket
£29.99
Paperback
SQL For Dummies
Added to basket
£21.99
Paperback
Python Crash Course
Added to basket
£33.99
Paperback
Python Cookbook: No. 3
Added to basket
Coding for Beginners in easy steps
Added to basket
JQuery in Easy Steps
Added to basket
Python For Dummies
Added to basket
£22.99
Paperback
User Story Mapping
Added to basket
£27.99
Paperback
Code
Added to basket
£21.99
Paperback
The Bride of Science
Added to basket
Arduino in Easy Steps
Added to basket
How to Build a Billion Dollar App
Added to basket
Automate The Boring Stuff With Python
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.