{"product_id":"rewriting-techniques-and-applications-6th-international-conference-rta-95-kaiserslautern-germany-april-5-7-1995-proceedings-9783540592006","title":"Rewriting Techniques and Applications: 6th International Conference, Rta-95, Kaiserslautern, Germany, April 5 - 7, 1995. Proceedings","description":"\u003cp\u003e • Author(s): Jieh Hsiang\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Compilers\u003c\/p\u003e\u003cp\u003eThis volume presents the proceedings of the Sixth International Conference on Rewriting Techniques and Applications, RTA-95, held in Kaiserslautern, Germany in April 1995.\u003cbr\u003eThe 27 full revised papers were selected from a total of 87 submissions. In addition there are 9 system descriptions and two problem sets, one contributed by Mark E. Stickel and Hantao Zhang and another by Nachum Dershowitz, Jean-Pierre Jouannaud and Jan Willem Klop. \u003cbr\u003eThe volume addresses all current aspects of rewriting techniques and their applications and thus defines the state-of-the-art in this active field of research.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":46893305528471,"sku":"9783540592006","price":5785.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783540592006.webp?v=1770315287","url":"https:\/\/atlanticbooks.com\/products\/rewriting-techniques-and-applications-6th-international-conference-rta-95-kaiserslautern-germany-april-5-7-1995-proceedings-9783540592006","provider":"Atlantic Books","version":"1.0","type":"link"}