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 Scholar and the State: In Search of Van der Waerden

$119.99

Ernst Mach: Physicist and Philosopher

$199.99

Die Gifte in der Weltgeschichte

$74.99

Steps Toward a Planning Framework for Elder Care in the Arab World

$54.99

Inflation, Open Economies and Resources

$39.99

Klassifikation maligner Tumoren des ZNS und der Augen

$74.99

Biosurveillance in New Media Marketing

$39.99

Antike Mythologie

$14.99

The Future of Broadcasting

$69.99

Entrepreneurship Networks in Italy

$54.99

European Union Foreign Policy and Central America

$84.99

Handbuch der chemischen Untersuchung der Textilfaserstoffe

$84.99

Interpreting Imperatives

$99.00

The C# Programmers Study Guide (MCSD)

$54.99

Women Entrepreneurs in Emerging Markets

$39.99

Principles of International Criminal Law

$169.99

Gesundheitsvorsorge mit TCM

$74.99

Entrepreneurship and Economic Transition in Central Europe

$109.99

Sprachen des Unsagbaren

$39.99

Ordinary Differential Equations in Rn

$109.99

Beyond Einstein Gravity

$64.99

Synthese und Chemilumineszenz-Eigenschaften von substituierten Naphthalindicarbonsure-1.2- und Stil

$54.99

Theory of Thermomechanical Processes in Welding

$109.99

Altern gestalten - Medizin, Technik, Umwelt

$84.99

Shock Waves @ Marseille I

$129.00

Handbuch Globale Kompetenz

$139.00

State Trading in International Markets

$44.99

Managing Water, Soil and Waste Resources to Achieve Sustainable Development Goals

$109.99

Exploring Robotics with ROBOTIS Systems

$49.99

Fractal Geometry and Computer Graphics

$109.99

China's Resource Diplomacy in Africa

$84.99

Insect Natural Enemies

$39.99

Vorbereitungskurs Staatsexamen Mathematik

$34.99

Decision-making in Humanitarian Operations

$139.00

Modernist Writings and Religio-scientific Discourse

$54.99

Reasoning and Unification over Conceptual Graphs

$84.99

Group-Theoretic Algorithms and Graph Isomorphism

$19.99

Complex Geometry of Slant Submanifolds

$139.99

Gemeinsames Prfen

$44.99

Landschaft als Prozess

$49.99