Table of contents

  1. Front Matter
  2. Claude Kirchner, Christopher Lynch, Christelle Scharff
    Pages 3-17
  3. Alexandre Boudet, Evelyne Contejean, Claude Marché
    Pages 18-32
  4. Manfred Göbel
    Pages 48-62
  5. Thomas Arts, Jürgen Giesl
    Pages 63-77
  6. M. C. F. Ferreira
    Pages 78-92
  7. Bernhard Gramlich
    Pages 93-107
  8. Jean-Pierre Jouannaud, Albert Rubio
    Pages 108-122
  9. Michael Hanus, Christian Prehofer
    Pages 138-152
  10. Gérard Huet
    Pages 153-153
  11. Roberto Di Cosmo
    Pages 200-214
  12. S. Guerrini, S. Martini, A. Masini
    Pages 215-229
  13. M. R. K. Krishna Rao
    Pages 230-244
  14. Bernhard Gramlich, Claus-Peter Wirth
    Pages 245-259

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 7th International Conference on Rewriting Techniques and Applications, RTA-96, held in New Brunswick, NJ, USA, in July 1996.
The 27 revised full papers presented in this volume were selected from a total of 84 submissions, also included are six system descriptions and abstracts of three invited papers. The topics covered include analysis of term rewriting systems, string and graph rewriting, rewrite-based theorem proving, conditional term rewriting, higher-order rewriting, unification, symbolic and algebraic computation, and efficient implementation of rewriting on sequential and parallel machines.

Keywords

Automatische Deduktion Ersetzungssysteme Höherstufige Logiken automated deduction graph rewriting higher-order logics proving rewriting systems term rewriting theorem proving

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-61464-8
  • Copyright Information Springer-Verlag 1996
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-61464-7
  • Online ISBN 978-3-540-68596-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book