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

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 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
  • About this book