Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Solving Higher-Order Equations

Solving Higher-Order Equations

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9780817640323
Condition
New
Product 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.

Available Colors
Available Sizes
1 Offer Price Range: $84.99 - $84.99
BEST PRICE

Single Product Purchase

$84.99
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$84.99 $84.99

$84.99
See Site In stock Visit Store

Similar Products

Photovoltaic/Thermal (PV/T) Systems

$199.99

Pelvic Floor Ultrasound

$99.99

Science, Technology and Innovation Policies for Development

$84.99

Dampfkraft

$49.99

Managing COPD

$49.99

Ambidextrous Leadership

$54.99

Bauwerke und Erdbeben

$59.99

Climate Policy Under Intergenerational Discounting

$54.99

Citizens and the Crisis

$99.00

Abstract Systems Theory

$99.00

Consilience, Truth and the Mind of God

$109.99

Transactions on High-Performance Embedded Architectures and Compilers V

$39.99

Perinatal Depression among Spanish-Speaking and Latin American Women

$159.99

Overcoming Conflict

$119.00

Gabler Wirtschafts Lexikon

$89.99

Networks, Markets & People

$219.99

Moderne Markenfhrung

$64.99

Aufkohlung und Hrtung von Sintereisen-Werkstoffen

$59.99

Benutzerhandbuch fr die interaktive Geometrie-Software

$59.99

Lectures on Hyponormal Operators

$54.99

Selbstreferenz, Tarski-Stze und die Undefinierbarkeit der arithmetischen Wahrheit. Abstrakte Semant

$29.95

Grundschule zwischen den Ansprchen der Individualisierung und Standardisierung

$69.99

Analyse und Optimierung der Produktionsglttung fr Mehrprodukt-Flielinien

$59.99

A Guide to Protein Isolation

$39.99

Software Foundations for Data Interoperability and Scale Graph Data Analytics

$54.99

Die spezielle Relativittstheorie

$84.99

Die Wirklichkeit aus neuer Sicht

$39.99

Das Tiefdruckverfahren unter besonderer Bercksichtigung der Manahmen zur Vermeidung von Schdigung

$59.99

The Making of a Maritime Power

$109.99

Voice and Voicelessness in Medieval Europe

$109.99

Tubulo-Interstitial Nephropathies

$129.00

Data-driven Methods for Fault Detection and Diagnosis in Chemical Processes

$109.99

Psychotherapiepatienten als Datenstze

$17.99

Handbuch der chemischen Elemente

$169.99

Nanoparticles in Lung Cancer Therapy - Recent Trends

$39.99

ber das Nebensprechen in kombinierten Fernsprechkreisen

$54.99

COTS-Based Software Systems

$39.99

Tennis Medicine

$219.99

Human Cell Culture

$169.00

Conversation Analysis and a Cultural-Historical Approach

$139.99