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

Kurzwellentherapie

$59.99

Higher Education: Handbook of Theory and Research

$169.99

Political Violence and the Struggle in South Africa

$109.99

Information Evaluation in Capital Markets

$54.99

Untapped Knowledge in Indias E-Waste Industry

$44.99

Proceedings of the 9th National Conference on Wind Engineering

$179.99

Das Opportunittsprinzip im franzsischen Strafrecht

$44.99

Microbial Steroids

$249.99

Stellar Pulsation - Nonlinear Studies

$109.99

Deutsche Gesellschaft fr Anaesthesie und Wiederbelebung

$59.99

Chemiefasern nach dem Viskoseverfahren

$129.99

New Microbiotests for Routine Toxicity Screening and Biomonitoring

$129.00

Fractional Order Signal Processing

$54.99

British Romanticism in Asia

$139.99

Orthopdie und Unfallchirurgie fr Hausrzte und Arbeitsmediziner

$64.99

Evolutionary Multi-Task Optimization

$199.99

Internationales Umweltmanagement

$69.99

Dance Theatre in Ireland

$54.99

The Bubble Act

$219.99

Bildungsinvestitionen und bildungspolitische Manahmen im Spannungsfeld von Gerechtigkeit und Effizi

$69.99

Kundennhe von Industriegterunternehmen

$44.99

Testis, Epididymis and Technologies in the Year 2000

$129.00

The Urban Transformation of Sarajevo

$129.99

Kanzlerdemokratie

$64.99

Autonomic Computing and Communications Systems

$39.99

Wirkungsvolle Compliance

$29.99

Visualization in Human-Computer Interaction

$39.99

Nachhaltiges Projektmanagement

$17.99

Jahrbuch der Preuischen Forst- und Jagdgesetzgebung und Verwaltung

$59.99

Holographic Entanglement Entropy

$49.99

Maritime Interception and the Law of Naval Operations

$109.00

Phase-Transfer Catalysis

$219.99

Industrielle After Sales Services in China

$29.99

Trauma in American Popular Culture and Cult Texts, 1980-2020

$109.99

Reproductive Laws for the 1990s

$109.99

Poverty Reduction in China

$109.99

Anyone Who Has a View

$54.99

Neue Tabellen und Diagramme fr Wasserdampf

$54.99

Does the World Exist?

$219.99

Optimization of Human Cancer Radiotherapy

$54.99