Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Rewriting Techniques and Applications: 11th International Conference, Rta 2000, Norwich, Uk, July 10-12, 2000 Proceedings

Rewriting Techniques and Applications: 11th International Conference, Rta 2000, Norwich, Uk, July 10-12, 2000 Proceedings

Bachmair, Leo

Paperback

Series: Lecture Notes in Computer Science, Book 1833

FictionMedical ReferenceProgramming

ISBN10: 354067778X
ISBN13: 9783540677789
Publisher: Springer
Published: Jun 28 2000
Pages: 282
Weight: 1.50
Height: 0.61 Width: 8.50 Depth: 11.00
Language: English
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.

Also in

Programming

View All