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

Rewriting Techniques and Applications

Rewriting Techniques and Applications

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

This book constitutes the refereed proceedings of the 7th International Conference on Rewriting Techniques and Applications, RTA-96, held in New Brunswick, NJ, USA, in July 1996. The 27 revised full papers presented in this volume were selected from a total of 84 submissions, also included are six system descriptions and abstracts of three invited papers. The topics covered include analysis of term rewriting systems, string and graph rewriting, rewrite-based theorem proving, conditional term rewriting, higher-order rewriting, unification, symbolic and algebraic computation, and efficient implementation of rewriting on sequential and parallel machines.

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

Essays on Transculturation and Catalan-Cuban Intellectual History

$54.99

A Geometric Approach to Differential Forms

$39.99

The Nexus among Place, Conflict and Communication in a Globalising World

$129.99

Software Defect and Operational Profile Modeling

$169.00

Computer Vision -- ACCV 2009

$109.99

Laser Micro-Nano-Manufacturing and 3D Microprinting

$169.99

Predictive Microbiology in Foods

$44.99

Management Methods and Tools

$39.99

Dielectric Properties of Polymers

$54.99

Internal Fixation of the Mandible

$84.99

Information and Communication Technology

$39.99

Atlantic Salmon

$84.99

Dynamics through First-Order Differential Equations in the Configuration Space

$169.99

Talk with Me Bilingual Collection: Ages 6-12 Months

$148.50

Competition and the Regulation of Utilities

$129.00

Essalltag in Familien

$39.99

Expert Oracle Application Express Plugins

$39.99

Water Resources in Algeria - Part I

$329.99

Treibstoff der Macht

$84.99

Der Osten

$69.99

Performance Measurement in der Forschung und Entwicklung

$69.99

Frhdiagnostik und Frhbehandlung psychischer Strungen

$69.99

Scientific Establishments and Hierarchies

$219.99

Surgery of the Meniscus

$109.00

Nutrition and Skin

$169.99

The Complex Networks of Economic Interactions

$109.99

The Perpetrator-Victim Relationship: An Important Clue to Understanding Intimate Partner Homicide in

$169.99

King Abdallah and Palestine

$109.99

Computer Vision in Control Systems-1

$84.99

Medical Science and Research

$84.99

Making Markets Making Place

$69.99

Celebrating J.D. Murrays contributions to Mathematical Biology

$109.99

Grundlagen zum Entwurf von Plattformen und Behltern fr die Meerestechnik. Probleme bei der Verwend

$84.99

Behavioral Operational Research

$149.00

We Don't Eat Our Classmates

$5.21

Tommaso Campanella

$84.99

Blockchain for Teens

$59.99

Advances in Fatigue Science and Technology

$429.00

Hepatic Transport of Organic Substances

$109.99

Algorithmic Aspects of Cloud Computing

$59.99