| Rewriting Techniques and Applications: 11th International Conference, Rta 2000, Norwich, Uk, July 10-12, 2000 Proceedings 2000 Edition Contributor(s): Bachmair, Leo (Editor) |
|
 |
ISBN: 354067778X ISBN-13: 9783540677789 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback Published: June 2000 Annotation: This book constitutes the refereed proceedings of the 11th International Conference on Rewriting Techniques and Applications, RTA 2000, held in Norwich, UK, in July 2000. The 15 revised full papers and three system descriptions presented together with two invited contributions were carefully reviewed and selected from 44 submissions. All current aspects of rewriting are addressed. |
| Additional Information |
| BISAC Categories: - Computers | Compilers - Medical - Mathematics | Logic |
| Dewey: 005.131 |
| LCCN: 00056309 |
| Series: Lecture Notes in Computer Science |
| Physical Information: 0.61" H x 8.5" W x 11" (1.50 lbs) 282 pages |
| Descriptions, Reviews, Etc. |
| Publisher Description: 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. |