{"product_id":"preserving-regularity-via-logic-programs-friedrich-neurauter-9783639008388","title":"Preserving Regularity via Logic Programs","description":"This book is concerned with the presentation of a general translation of term rewrite systems to logic programs such that basic rewriting derivations become logic deductions. In particular, this work is a review of a recent research paper on this very subject written by S. Limet and G. Salzer in which they present an algorithm that imple-ments such a translation scheme for certain classes of term rewrite systems. Basically, their algorithm takes as input a term rewrite system that satisfies some syntactical restrictions and a regular tree language, transforms both inputs to logic programs and combines the resulting programs to a single logic program that allows to infer regularity preservation of the original term rewrite system. The transformation of certain term rewrite systems results in so-called cs-programs which were originally studied in the context of constraint systems and tree tuple languages. By applying known results of cs-programs new classes of regularity preserving term rewrite systems are obtained.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Friedrich Neurauter\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 3639008383\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9783639008388\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e VDM Verlag Dr. Mueller E.K.\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 05\/05\/2008\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 80\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Paperback\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 0.26lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.00h x 6.00w x 0.17d","brand":"Friedrich Neurauter","offers":[{"title":"Paperback","offer_id":48113835606271,"sku":"9783639008388","price":52.92,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_8aec439c-d15f-41c9-9361-5529cc392505.jpg?v=1769617497","url":"https:\/\/www.whiterainbookhouse.com\/products\/preserving-regularity-via-logic-programs-friedrich-neurauter-9783639008388","provider":"WR Book House","version":"1.0","type":"link"}