{"product_id":"solving-higher-order-equations-christian-prehofer-9780817640323","title":"Solving Higher-Order Equations: From Logic to Programming","description":"This monograph develops techniques for equational reasoning in higher-order logic. Due to its expressiveness, higher-order logic is used for specification and verification of hardware, software, and mathematics. In these applica- tions, higher-order logic provides the necessary level of abstraction for con- cise and natural formulations. The main assets of higher-order logic are quan- tification over functions or predicates and its abstraction mechanism. These allow one to represent quantification in formulas and other variable-binding constructs. In this book, we focus on equational logic as a fundamental and natural concept in computer science and mathematics. We present calculi for equa- tional reasoning modulo higher-order equations presented as rewrite rules. This is followed by a systematic development from general equational rea- soning towards effective calculi for declarative programming in higher-order logic and A-calculus. This aims at integrating and generalizing declarative programming models such as functional and logic programming. In these two prominent declarative computation models we can view a program as a logical theory and a computation as a deduction.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Christian Prehofer\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 0817640320\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9780817640323\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Birkhauser\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 12\/18\/1997\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 188\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Hardcover\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 1.09lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.56h x 6.35w x 0.76d","brand":"Christian Prehofer","offers":[{"title":"Hardcover","offer_id":47579612807423,"sku":"9780817640323","price":109.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_e31168e4-117a-4856-a561-3288bfa26c19.jpg?v=1763875409","url":"https:\/\/www.whiterainbookhouse.com\/products\/solving-higher-order-equations-christian-prehofer-9780817640323","provider":"WR Book House","version":"1.0","type":"link"}