{"product_id":"rewriting-techniques-and-applications-7th-international-conference-rta-96-new-brunswick-nj-usa-july-27-30-1996-proceedings-9783540614647","title":"Rewriting Techniques and Applications: 7th International Conference, Rta-96, New Brunswick, Nj, USA July 27 - 30, 1996. Proceedings","description":"\u003cp\u003e • Author(s): Harald Ganzinger\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Compilers\u003c\/p\u003e\u003cp\u003eThis 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.\u003cbr\u003eThe 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.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":47591539048599,"sku":"9783540614647","price":5774.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783540614647.webp?v=1774973571","url":"https:\/\/atlanticbooks.com\/products\/rewriting-techniques-and-applications-7th-international-conference-rta-96-new-brunswick-nj-usa-july-27-30-1996-proceedings-9783540614647","provider":"Atlantic Books","version":"1.0","type":"link"}