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.
Serija: | Lecture Notes in Computer Science |
Leidėjas: | Springer Berlin Heidelberg |
Išleidimo metai: | 2000 |
Knygos puslapių skaičius: | 292 |
ISBN-10: | 354067778X |
ISBN-13: | 9783540677789 |
Formatas: | Knyga minkštu viršeliu |
Kalba: | Anglų |
Žanras: | Maths for computer scientists |
Parašykite atsiliepimą apie „Rewriting Techniques and Applications: 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 Proceedings“