{"product_id":"rewriting-techniques-and-applications-6th-international-conference-rta-95-kaiserslautern-germany-april-5-7-1995-proceedings-von-jieh-hsiang-hrsg","title":"Rewriting Techniques and Applications","description":"\n                                This volume presents the proceedings of the Sixth International Conference on Rewriting Techniques and Applications, RTA-95, held in Kaiserslautern, Germany in April 1995.\n                \n                \u003cbr\u003e\n                                The 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. \n                \n                \u003cbr\u003e\n                                The 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.\n            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540592006\"\u003e\u003ch3\u003e6th International Conference, RTA-95, Kaiserslautern, Germany, April 5 - 7, 1995. Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540592006","offer_id":39426555314269,"sku":"9783540592006","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/0510266d-648b-4f3e-ac21-8081516d4f5f.jpg?v=1773554151","url":"https:\/\/shop.autorenwelt.de\/products\/rewriting-techniques-and-applications-6th-international-conference-rta-95-kaiserslautern-germany-april-5-7-1995-proceedings-von-jieh-hsiang-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}