BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

Rewriting Techniques and Applications: 7th International Conference, Rta-96, New
Stock photo: cover may vary

Rewriting Techniques and Applications: 7th International Conference, Rta-96, New Brunswick, Nj, USA July 27 - 30, 1996. Proceedings Paperback - 1996 - 1996th Edition

by Harald Ganzinger (Editor)

Add to wish list

Reader reviews for Rewriting Techniques and Applications: 7th International Conference, Rta-96, New Brunswick, Nj, USA July 27 - 30, 1996. Proceedings

From the publisher

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.

First line

Details

  • Title Rewriting Techniques and Applications: 7th International Conference, Rta-96, New Brunswick, Nj, USA July 27 - 30, 1996. Proceedings
  • Author Harald Ganzinger (Editor)
  • Binding Paperback
  • Edition number 1996th
  • Edition 1996
  • Pages 440
  • Volumes 1
  • Language ENG
  • Publisher Springer
  • Publication date 1996-07-01
  • ISBN 9783540614647 / 3540614648
  • Weight 1.4 lbs (0.64 kg)
  • Dimensions 9.21 x 6.14 x 0.92 in (23.39 x 15.60 x 2.34 cm)
  • Category Computers - General Information
  • Library of Congress Catalogue Number 96026788
  • Dewey Decimal Code 005.131

More Copies for Sale

Rewriting Techniques and Applications: 7th International Conference, RTA-96, New Brunswick, NJ,...
Stock photo: cover may vary

Rewriting Techniques and Applications: 7th International Conference, RTA-96, New Brunswick, NJ, USA July 27 - 30, 1996. Proceedings (Lecture Notes in Computer Science)

by Ganzinger, Harald [Editor]

  • Used
  • Very good
  • Paperback
Condition
Very good
Binding
Paperback
ISBN 10 / ISBN 13
9783540614647 / 3540614648
Quantity available
1
Seller
Item price
A$72.32
A$8.74 Delivery to USA

Show details

Description:
Springer, 1996-08-16. Paperback. Very Good. 6x1x9. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
Add to wish list
Item price
A$72.32
A$8.74 Delivery to USA
Rewriting Techniques and Applications : 7th International Conference, RTA-96, New Brunswick, NJ,...

Rewriting Techniques and Applications : 7th International Conference, RTA-96, New Brunswick, NJ, USA July 27 - 30, 1996. Proceedings

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783540614647 / 3540614648
Quantity available
701
Seller
Item price
A$105.20
A$15.57 Delivery to USA

Show details

Description:
Paperback. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; 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 s
Add to wish list
Item price
A$105.20
A$15.57 Delivery to USA
Rewriting Techniques and Applications: 7th International Conference, RTA-96, New Brunswick, NJ,...

Rewriting Techniques and Applications: 7th International Conference, RTA-96, New Brunswick, NJ, USA July 27 - 30, 1996. Proceedings

by Harald Ganzinger

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783540614647 / 3540614648
Quantity available
10
Seller
Item price
A$111.31
A$19.40 Delivery to USA

Show details

Description:
Paperback / softback. New. 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.
Add to wish list
Item price
A$111.31
A$19.40 Delivery to USA