Rewriting Techniques and Applications

12th International Conference, RTA 2001 Utrecht, The Netherlands, May 22–24, 2001 Proceedings

  • Aart Middeldorp
Conference proceedings RTA 2001

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2051)

Table of contents

  1. Front Matter
    Pages I-XII
  2. Invited Talks

    1. Henk Barendregt
      Pages 1-1
    2. Michael Rusinowitch
      Pages 2-2
  3. Regular Papers

    1. Alessandro Berarducci, Corrado Böhm
      Pages 15-30
    2. Manuel Bodirsky, Katrin Erk, Alexander Koller, Joachim Niehren
      Pages 31-46
    3. Eduardo Bonelli, Delia Kesner, Alejandro Ríos
      Pages 47-62
    4. Alexandre Boudet, Evelyne Contejean
      Pages 63-76
    5. Horatiu Cirstea, Claude Kirchner, Luigi Liquori
      Pages 77-92
    6. Jürgen Giesl, Deepak Kapur
      Pages 93-107
    7. Zurab Khasidashvili, Mizuhito Ogawa, Vincent van Oostrom
      Pages 122-136
    8. Konstantin Korovin, Andrei Voronkov
      Pages 137-153
    9. Armin Kühnemann, Robert Glück, Kazuhiko Kakehi
      Pages 154-168
    10. Jordi Levy, Mateu Villaret
      Pages 169-184
    11. Sébastien Limet, Pierre Réty, Helmut Seidl
      Pages 185-200
    12. Markus Lohrey
      Pages 201-215
    13. Christopher Lynch, Barbara Morawska
      Pages 231-245
    14. Michio Oyamaguchi, Yoshikatsu Ohta
      Pages 246-260

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 12th International Conference on Rewriting Techniques and Applications, RTA 2001, held in Utrecht, The Netherlands, in May 2001.
The 23 revised full papers presented together with two system descriptions were carefully reviewed and selected from 55 submissions. All current aspects of rewriting are addressed.

Keywords

Beta Rewriting Variable algorithm algorithms automata automated deduction complexity explicite substitution formal methods reduction term rewriting termination theorem proving unification

Editors and affiliations

  • Aart Middeldorp
    • 1
  1. 1.Institute of Information Sciences and ElectronicsUniversity of TsukubaTsukubaJapan

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-45127-7
  • Copyright Information Springer-Verlag Berlin Heidelberg 2001
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-42117-7
  • Online ISBN 978-3-540-45127-3
  • Series Print ISSN 0302-9743
  • About this book
Industry Sectors
Pharma
Automotive
Biotechnology
Electronics
Telecommunications
Aerospace