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

Canonical Equational Proofs

Canonical Equational Proofs

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9780817635558
Condition
New
Product Description

Equations 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.

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

Single Product Purchase

$39.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
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

From Sounds to Music and Emotions

$54.99

Augenmotilittsstrungen

$79.99

Functional and Constraint Logic Programming

$54.99

Advances in Swarm Intelligence

$39.99

Medical Image Computing and Computer Assisted Intervention MICCAI 2019

$54.99

Pathologie 5

$229.99

Empower Decision Makers with SAP Analytics Cloud

$59.99

Graphik in Industrie und Technik

$69.95

Elektronik-Aufgaben

$49.99

Supply Network Management

$49.99

Moderne Methoden der Numerischen Mathematik

$49.99

Environmental Security in Harbors and Coastal Areas

$249.99

Criminology of Corruption

$119.99

Sartre, Nietzsche and Non-Humanist Existentialism

$89.99

Basic Analytic Number Theory

$69.99

Stochastic Elasticity

$109.99

Molecular Basis of Reproductive Endocrinology

$39.99

Spring REST

$37.99

Intelligent Data Engineering and Automated Learning - IDEAL 2006

$109.99

Psychische Gefhrdungsbeurteilung

$54.99

Wissenschaft und Anti-Wissenschaft

$64.99

Geometry

$89.99

Indexation and Causation of Financial Markets

$54.99

Die Entwicklung und Verbreitung der Kontinente und ihrer hheren pflanzlichen und tierischen Bewohne

$59.99

Kulturelle Grundlagen der Medialisierung in Sdkorea

$59.99

Engineering Behaviour of Rocks

$54.99

Advances in Civil Engineering Materials

$219.99

The New Science of Medicine & Management

$69.99

Feminist Framing of Europeanisation

$109.99

Current Issues in Clinical Psychology

$54.99

Mathematical Logic

$99.99

Blood & Honey (Serpent & Dove Series #2) by Shelby Mahurin

$12.99

Alterity and the Flint Water Crisis

$139.99

Statistical Models and Control Charts for High-Quality Processes

$169.99

Denying AIDS

$19.99

Progress in Turbulence V

$129.00

Structural Health Monitoring & Damage Detection, Volume 7

$169.99

The Rise of Neoliberalism in Advanced Capitalist Economies

$54.99

Schweitechnische Fertigungsverfahren 1

$64.99

Pro .NET Framework with the Base Class Library

$29.99