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.)

Buy this book

eBook n/a
  • ISBN 978-3-540-68596-8
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
Softcover n/a
  • ISBN 978-3-540-61464-7
  • Free shipping for individuals worldwide
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 (4 chapters)

  • Superposition theorem proving for abelian groups represented as integer modules

    Jürgen Stuber

    Pages 33-47

  • Design of a proof assistant

    Gérard Huet

    Pages 153-153

  • A compiler for nondeterministic term rewriting systems

    Marian Vittek

    Pages 154-168

  • Decidable approximations of term rewriting systems

    Florent Jacquemard

    Pages 362-376

Buy this book

eBook n/a
  • ISBN 978-3-540-68596-8
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
Softcover n/a
  • ISBN 978-3-540-61464-7
  • Free shipping for individuals worldwide
Loading...

Recommended for you

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