Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Solving Higher-Order Equations

Name: Solving Higher-Order Equations
Brand: Springer, Basel
SKU: 02232796
Price: 102.73 EUR
Availability: InStock
Author: Christian Prehofer
ISBN: 9781461272786

From Logic to Programming

Christian Prehofer

Language

English

Book Paperback

Libristo code: 02232796

Publishers Springer, Basel, October 2012

This monograph develops techniques for equational reasoning in higher-order logic. Due to its expres... Full description

Libristo code: 02232796

249 b

102.73 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Tabu Ferdinand von Schirach

Paperback

10.89 €

INTENTOS ESPIRITUALES-- AL LADO DE ANTONIO SOSA QUINTANA

Paperback

17.65 €

Versicherungsenzyklopadie Walter Grosse

Paperback

52.98 €

Opracowanie i ocena elektronicznego systemu pozyskiwania danych Gladimir Pinto da Silva

Paperback

24.11 €

probabilistische Revolution in der Literatur Bernhard Kehler

Paperback

35.62 €

Sache mit der Eitelkeit Karin Kirwa

Paperback

8.16 €

Schamanismus der Seele Bianka Denise Albrecht

Hardback

17.85 €

Tan-Tan Therapy (Remastered) Tenniscoats

Audio CD

25.22 €

Blue Lock n? 07 KANESHIRO

Paperback

12.40 €

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.