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

About these proceedings


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


Monoid algorithms automata complexity logic programming term rewriting

Bibliographic information

Industry Sectors
IT & Software