Advertisement

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
  15. Manfred Schmidt-Schauß
    Pages 287-301
  16. Régis Curien, Zhenyu Qian, Hui Shi
    Pages 317-331
  17. Jordi Levy
    Pages 332-346
  18. Florent Jacquemard
    Pages 362-376
  19. Masahiko Sakai, Yoshihito Toyama
    Pages 377-391
  20. Vincent van Oostrom
    Pages 392-407
  21. Reinhard Bündgen, Carsten Sinz, Jochen Walter
    Pages 412-415
  22. Evelyne Contejean, Claude Marché
    Pages 416-419
  23. H. R. Walters, Juris F. Th.Kamperman
    Pages 424-427
  24. Narjes Berregeb, Adel Bouhoula, Michaël Rusinowitch
    Pages 428-431
  25. Thomas Hillenbrand, Arnim Buch, Roland Fettig
    Pages 432-435
  26. Back Matter

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 Berlin Heidelberg 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
  • Buy this book on publisher's site