Lecture Notes in Computer Science

Rewriting Techniques and Applications

7th International Conference, RTA-96, New Brunswick, NJ, USA July 27 - 30, 1996. Proceedings

Editors: Ganzinger, Harald (Ed.)

Free Preview

Buy this book

eBook $89.00
price for USA in USD
  • ISBN 978-3-540-68596-8
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $119.00
price for USA in USD
  • ISBN 978-3-540-61464-7
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
About this book

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.

Table of contents (37 chapters)

Table of contents (37 chapters)
  • Rewrite-based automated reasoning: Challenges ahead

    Pages 1-2

    Kapur, Deepak

  • Fine-grained concurrent completion

    Pages 3-17

    Kirchner, Claude (et al.)

  • AC-complete unification and its application to theorem proving

    Pages 18-32

    Boudet, Alexandre (et al.)

  • Superposition theorem proving for abelian groups represented as integer modules

    Pages 33-47

    Stuber, Jürgen

  • Symideal Gröbner bases

    Pages 48-62

    Göbel, Manfred

Buy this book

eBook $89.00
price for USA in USD
  • ISBN 978-3-540-68596-8
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $119.00
price for USA in USD
  • ISBN 978-3-540-61464-7
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
Loading...

Bibliographic Information

Bibliographic Information
Book Title
Rewriting Techniques and Applications
Book Subtitle
7th International Conference, RTA-96, New Brunswick, NJ, USA July 27 - 30, 1996. Proceedings
Editors
  • Harald Ganzinger
Series Title
Lecture Notes in Computer Science
Series Volume
1103
Copyright
1996
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-68596-8
DOI
10.1007/3-540-61464-8
Softcover ISBN
978-3-540-61464-7
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XI, 440
Topics