Advertisement

Table of contents

  1. Front Matter
  2. Robert Strandh
    Pages 13-24
  3. Paul Walton Purdom Jr.
    Pages 54-61
  4. Eric Sopena
    Pages 62-73
  5. J. C. M. Baeten, J. A. Bergstra, J. W. Klop
    Pages 83-94
  6. Annie Despland, Monique Mazaud, Raymond Rakotozafy
    Pages 105-120
  7. Richard Göbel
    Pages 156-167
  8. Qian Zhenyu
    Pages 168-179
  9. Leo Bachmair, Nachum Dershowitz
    Pages 192-203
  10. Hans-Jürgen Bürckert, Alexander Herold, Manfred Schmidt-Schauß
    Pages 204-215
  11. Jean H. Gallier, Wayne Snyder
    Pages 216-227
  12. Pierre Réty
    Pages 228-241
  13. Peter Padawitz
    Pages 242-255
  14. C. Choppy, S. Kaplan, M. Soria
    Pages 256-273
  15. R. Ramesh, I. V. Ramakrishnan
    Pages 274-285

About these proceedings

Introduction

This volume contains the proceedings of the Second International Conference on Rewriting Techniques and Applications, "RTA 87", held in Bordeaux, France, May 1987.

Keywords

Monoid algorithms automata complexity logic programming term rewriting

Bibliographic information

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