{"product_id":"9781441929211","title":"Advanced Topics in Term Rewriting","description":"\u003cp\u003eUnlike current survey articles and textbooks, here the so-called confluence and termination hierarchies play a key role. Throughout, the relationships between the properties in the hierarchies are reviewed, and it is shown that for every implication X =\u0026gt; Y in the hierarchies, the property X is undecidable for all term rewriting systems satisfying Y. Topics covered include: the newest techniques for proving termination of rewrite systems; a comprehensive chapter on conditional term rewriting systems; a state-of-the-art survey of modularity in term rewriting, and a uniform framework for term and graph rewriting, as well as the first result on conditional graph rewriting.\u003c\/p\u003e","brand":"Springer New York","offers":[{"title":"Default Title","offer_id":47026534023408,"sku":"9781441929211","price":89.95,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0737\/7593\/9824\/files\/9781441929211_p0.jpg?v=1763799852","url":"https:\/\/shop-qa.barnesandnoble.com\/products\/9781441929211","provider":"Barnes \u0026 Noble (DEV)","version":"1.0","type":"link"}