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

Symplectic Amalgams

$109.99

Flow and Creep in the Solar System: Observations, Modeling and Theory

$329.99

Zur Bildung und Stabilitt von Tricalciumsilikat und Aliten

$44.99

Rectal Cancer Treatment

$219.99

The Inventions of Louis Pouzin

$32.99

Periodic Solutions of Hamiltonian Systems and Related Topics

$219.99

Exploring the Dynamics of Renewable Energy and Sustainable Development in Africa

$119.00

Ensemble Learning for AI Developers

$49.99

Attractors for infinite-dimensional non-autonomous dynamical systems

$109.99

The Effects of Constant Light on Visual Processes

$39.99

Communities, Performance and Practice

$44.99

Ultra-Low-Power and Ultra-Low-Cost Short-Range Wireless Receivers in Nanoscale CMOS

$39.99

Enterprise Architecture Function

$79.99

Werk und Wirken

$54.99

Licht und Farbe in der Natur

$74.99

Retinal Detachment Surgery and Proliferative Vitreoretinopathy

$99.00

Methods of Celestial Mechanics

$79.99

Traumatic Stress

$169.99

Harnessing Big Data in Food Safety

$129.99

Taschenbuch zum Abstecken von Kreisbogen mit und ohne bergangsbogen fr Eisenbahnen, Straen und Ka

$59.99

Exploring Lexical Inaccuracy in Arabic-English Translation

$129.99

Bat Evolution, Ecology, and Conservation

$169.00

The Commodification of Farm Animals

$159.99

Creative Education, Teaching and Learning

$89.00

Technology Implementation in Second Language Teaching and Translation Studies

$109.99

Formal Methods for Industrial Critical Systems

$54.99

Insulin Resistance and Cancer

$169.99

Biology of the Fungal Cell

$229.00

The Mathematica GuideBook for Symbolics

$169.99

Die Pflicht zu fhren

$69.99

Ruby Recipes

$29.99

The Complement System

$99.00

Full Meridian of Glory

$19.99

Absatzwirtschaft als produktive Aufgabe

$59.99

Kommunikation zwischen Hersteller und Vertragshndler

$44.99

FinTech Revolution

$39.99

Multiple Helix Ecosystems for Sustainable Competitiveness

$84.99

Balzac, Literary Sociologist

$19.99

Transactions on Computational Science XXXVII

$54.99

Neurophysiological Aspects of Color Vision in Primates

$109.99