Table of contents

  1. Front Matter
  2. Hantao Zhang, Jean-Luc Remy
    Pages 46-62
  3. Ronald V. Book
    Pages 63-94
  4. Stavros S. Cosmadakis, Paris C. Kanellakis
    Pages 107-123
  5. Neil D. Jones, Peter Sestoft, Harald Søndergaard
    Pages 124-140
  6. Pierre Rety, Claude Kirchner, Hélène Kirchner, Pierre Lescanne
    Pages 141-157
  7. Hassan Ait-Kaci
    Pages 158-179
  8. Nachum Dershowitz
    Pages 180-224
  9. Leo Bachmair, David A. Plaisted
    Pages 241-254
  10. Sara Porat, Nissim Francez
    Pages 287-300

About these proceedings

Keywords

Applications Monoid algorithms compiler complexity logic petri net theorem proving

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-15976-2
  • Copyright Information Springer-Verlag 1985
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-15976-6
  • Online ISBN 978-3-540-39679-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book