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

Advanced Topics in Term Rewriting

Advanced Topics in Term Rewriting

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

Term rewriting techniques are applicable in various fields of computer sci ence: in software engineering (e.g., equationally specified abstract data types), in programming languages (e.g., functional-logic programming), in computer algebra (e.g., symbolic computations, Grabner bases), in pro gram verification (e.g., automatically proving termination of programs), in automated theorem proving (e.g., equational unification), and in algebra (e.g., Boolean algebra, group theory). In other words, term rewriting has applications in practical computer science, theoretical computer science, and mathematics. Roughly speaking, term rewriting techniques can suc cessfully be applied in areas that demand efficient methods for reasoning with equations. One of the major problems one encounters in the theory of term rewriting is the characterization of classes of rewrite systems that have a desirable property like confluence or termination. If a term rewriting system is conflu ent, then the normal form of a given term is unique. A terminating rewrite system does not permit infinite computations, that is, every computation starting from a term must end in a normal form. Therefore, in a system that is both terminating and confluent every computation leads to a result that is unique, regardless of the order in which the rewrite rules are applied. This book provides a comprehensive study of termination and confluence as well as related properties.

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

The Human Toll of the Kashmir Conflict

$54.99

Social Robotics

$99.99

Ausgezeichnete Stofolgen in Metallen. Ihre experimentelle Untersuchung mit Hilfe der Kathodenzerst

$59.99

Strungen der Blut- und Lymphstrmung Angioneurosen Urticaria Raynaud Nekrosen Gangrn Ges

$59.99

The Definitive Guide to Interwoven TeamSite

$109.99

Air Pollutants and the Leaf Cuticle

$129.00

Wood - The Internal Optimization of Trees

$119.00

Swearing: A Cross-Cultural Linguistic Study

$139.99

The Place of Space and Other Themes

$84.99

Law and Reflexive Politics

$219.99

Clusters and Particles

$54.99

Models and Measurements of the Cardiac Electric Field

$54.99

Urban Informatics Using Mobile Network Data

$199.99

Die Avogadro-Konstante

$17.99

Biotechnology Challenges for the Flavor and Food Industry

$54.99

Landscape Modelling

$129.00

Radicals, Rhetoric, and the War

$19.99

Shaping Concepts of Technology

$84.99

Polish Culture in Britain

$139.99

Metaheuristic Optimization via Memory and Evolution

$84.99

Mentoring

$59.99

Five Nights at Freddy's: Security Breach Files

$9.74

Non-Pharmacological Management of Osteoporosis

$79.99

Composite Structures

$54.99

Windows 10 Development Recipes

$39.99

Untersuchungen ber Sehnervenvernderungen bei Arteriosclerose

$59.99

Outside Director Compensation in German Public Family Firms

$54.99

Wie aus Ideen Bilder werden

$69.99

Die Ziehtechnik in der Blechbearbeitung

$74.99

Optical Resonators Science and Engineering

$219.99

Organic and Hybrid Solar Cells

$159.99

The Golgi Apparatus

$39.99

Functional Differential Equations

$109.99

Springer Handbook of Engineering Statistics

$399.00

Ab 40 bewirbt man sich anders. Durchstarten mit Lebenserfahrung - Bewerbungsstrategien, Informatione

$19.99

Luxury, Lies and Marketing

$49.99

Der Zugang zu wirtschaftlicher Netzinfrastruktur

$44.99

Karma-based API on Apple Platforms

$32.99

Chinese Modernity and the Individual Psyche

$54.99

Interfacial Nanochemistry

$169.99