Advertisement

Table of contents

  1. Front Matter
  2. Massimo Marchiori
    Pages 2-10
  3. Olav Lysne, Javier Piris
    Pages 26-40
  4. Hans Zantema, Alfons Geser
    Pages 41-55
  5. Robert Nieuwenhuis
    Pages 56-70
  6. Masahito Kurihara, Hisashi Kondo, Azuma Ohuchi
    Pages 71-85
  7. Peter Graf
    Pages 117-131
  8. J. F. Th. Kamperman, H. R. Walters
    Pages 147-162
  9. Siva Anantharaman, Gilles Richard
    Pages 163-178
  10. A. Corradini, F. Gadducci, U. Montanari
    Pages 225-240
  11. Tobias Nipkow
    Pages 256-256
  12. Richard Kennaway, Jan Willem Klop, Ronan Sleep, Fer-Jan de Vries
    Pages 257-270
  13. Steffen van Bakel, Maribel Fernández
    Pages 279-293
  14. Pierre Lescanne, Jocelyne Rouyer-Degli
    Pages 294-308
  15. H. R. Walters, H. Zantema
    Pages 324-338
  16. Habib Abdulrab, Marianne Maksimenko
    Pages 339-351
  17. Friedrich Otto, Paliath Narendran, Daniel J. Dougherty
    Pages 367-381
  18. Jürgen Avenhaus, Jörg Denzinger, Matthias Fuchs
    Pages 397-402
  19. Reinhard Bündgen, Manfred Göbel, Wolfgang Küchlin
    Pages 408-413
  20. Ta Chen, Siva Anantharaman
    Pages 414-419
  21. Hélène Kirchner, Pierre-Etienne Moreau
    Pages 438-443
  22. Nachum Dershowitz, Jean-Pierre Jouannaud, Jan Willem Klop
    Pages 457-471
  23. Back Matter

About these proceedings

Introduction

This volume presents the proceedings of the Sixth International Conference on Rewriting Techniques and Applications, RTA-95, held in Kaiserslautern, Germany in April 1995.
The 27 full revised papers were selected from a total of 87 submissions. In addition there are 9 system descriptions and two problem sets, one contributed by Mark E. Stickel and Hantao Zhang and another by Nachum Dershowitz, Jean-Pierre Jouannaud and Jan Willem Klop.
The volume addresses all current aspects of rewriting techniques and their applications and thus defines the state-of-the-art in this active field of research.

Keywords

E-Unifikation Ersetzung höherer Ordnung Ersetzungssysteme Resolution algorithm algorithms automatische Deduktion calculus higher-order rewriting lambda calculus logic proving rewrite systems semantics term rewriting

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-59200-8
  • Copyright Information Springer-Verlag Berlin Heidelberg 1995
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-59200-6
  • Online ISBN 978-3-540-49223-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site