{"product_id":"9780817635558","title":"Progress in Theoretical Computer Science","description":"\u003ch1\u003eProgress in Theoretical Computer Science\u003c\/h1\u003e \u003ch2\u003eBachmair\u003c\/h2\u003e \u003cp\u003eEquations occur in many computer applications, such as symbolic compu­ tation, functional programming, abstract data type specifications, program verification, program synthesis, and automated theorem proving. Rewrite systems are directed equations used to compute by replacing subterms in a given formula by equal terms until a simplest form possible, called a normal form, is obtained. The theory of rewriting is concerned with the compu­ tation of normal forms. We shall study the use of rewrite techniques for reasoning about equations. Reasoning about equations may, for instance, involve deciding whether an equation is a logical consequence of a given set of equational axioms. Convergent rewrite systems are those for which the rewriting process de­ fines unique normal forms. They can be thought of as non-deterministic functional programs and provide reasonably efficient decision procedures for the underlying equational theories. The Knuth-Bendix completion method provides a means of testing for convergence and can often be used to con­ struct convergent rewrite systems from non-convergent ones. We develop a proof-theoretic framework for studying completion and related rewrite­ based proof procedures. We shall view theorem provers as proof transformation procedures, so as to express their essential properties as proof normalization theorems.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Birkhäuser\u003c\/p\u003e \u003cp\u003ePublication Date: 1991-06-01\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9780817635558\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-1-4684-7118-2\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 138\u003c\/p\u003e ","brand":"Birkhäuser Boston","offers":[{"title":"Default Title","offer_id":44408066539660,"sku":"9780817635558","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9780817635558.jpg?v=1775739423","url":"https:\/\/lateknightbooks.com\/products\/9780817635558","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}