Harald Ganzinger
Rewriting Techniques and Applications: 7th International Conference, Rta-96, New Brunswick, Nj, USA July 27 - 30, 1996, Proceedings (International Conference, Rta-96, New Brunswick, Nj, Usa, July 27-30, 1996 - Proceedings) - Lecture Notes in Computer Scie Harald Ganzinger

Name: Rewriting Techniques and Applications: 7th International Conference, Rta-96, New Brunswick, Nj, USA July 27 - 30, 1996, Proceedings (International Conference, Rta-96, New Brunswick, Nj, Usa, July 27-30, 1996 - Proceedings) - Lecture Notes in Computer Scie
Price: 55.49 USD
Availability: OutOfStock
Author: Harald Ganzinger

Price

$ 55.49

excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 2 - 8

Our customers say:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14-day return policy in accordance with European consumer protection law

Top ranking on Trustpilot

Add to your iMusic wish list

Rewriting Techniques and Applications: 7th International Conference, Rta-96, New Brunswick, Nj, USA July 27 - 30, 1996, Proceedings (International Conference, Rta-96, New Brunswick, Nj, Usa, July 27-30, 1996 - Proceedings) - Lecture Notes in Computer Scie

Harald Ganzinger

The 27 papers in this volume cover topics including analysis of term rewriting systems, string and graph rewriting, rewrite-based theorem proving, conditional term rewriting, higher-order rewriting, unification, and symbolic and algebraic computation.

440 pages, biography

Media	Books Paperback Book (Book with soft cover and glued back)
Released	July 1, 1996
ISBN13	9783540614647
Publishers	Springer-Verlag Berlin and Heidelberg Gm
Pages	440
Dimensions	156 × 234 × 23 mm · 635 g
Language	German
Editor	Ganzinger, Harald