Rewriting Techniques and Applications

Bücher

Angebote / Angebote:

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.