Copied Rewriting Techniques and Applications
Rewriting Techniques and Applications
This book constitutes the refereed proceedings of the 8th International Conference on Rewriting Techniques and Applications, RTA-97, held in Sitges, Spain, in June 1997. The 24 revised full papers presented were selected from a total of 54 submissions. Also included are abstracts of two invited talks and four system descriptions. Besides classical topics like termination, confluence, or applications to theorem proving, several new approaches to rewriting are presented. All in all, this volume presents the state of the art in the area of rewriting techniques and applications.
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
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Gerhart Hauptmann
$19.99
Clinical Information Systems
$59.99
Research in Computational Molecular Biology
$59.99
Image and Graphics Technologies and Applications
$109.99
Smart Trends in Computing and Communications
$179.99
Historical Aspects of Pediatric Surgery
$84.99
Selbstregulationsstrategien und Gesundheitsverhalten
$74.99
How Nature Works: Catching Air
$5.96
Reading Test Prep Grade 1 Differentiation Pack
$5.99
Vereinfachte Blitzableiter
$59.99
User Modeling 2001
$39.99
Urban low-income housing and development
$169.99
The Language of Margaret Atwood
$37.99
Advances in the Anthropological Theory of the Didactic
$109.00
Jewish-Christian Relations in the Seventeenth Century
$219.99
Spectral Theory of Automorphic Functions
$39.99
Proceedings of 10th International Conference on Mechatronics and Control Engineering
$149.00
Hals-Nasen-Ohren-Heilkunde
$39.99
Quality of Future Internet Services
$39.99
Dampfkraft
$49.99
3D Printing in Plastic Reconstructive and Aesthetic Surgery
$39.99
Heat Carriers in Liquids: An Introduction
$49.99
Deterministic and Stochastic Time-Delay Systems
$109.99
Sustainable Technology and Advanced Computing in Electrical Engineering
$379.99
System Dynamics Modeling with R
$119.99
Dynamical Models In Neurocognitive Psychology
$84.99
The State as a Firm
$39.99
Caterpillars in the Middle
$89.99
Rechnungslegung der Unternehmen und Kapitalmarkt aus informationskonomischer Sicht
$59.99
Immunocytochemistry of Plant Cells
$169.99
Chaos in Astrophysics
$169.99
Multivariate Analysis in the Human Services
$169.99
Polyelectrolytes
$169.00
Diemenschlichen Nahrungs- und Genussmittel, ihre Herstellung, Zusammensetzung und Beschaffenheit, ih
$49.99
Contrast-Enhanced Ultrasound of the Urinary Tract
$54.99
VLSI Memory Chip Design
$249.99
Secure System Design and Trustable Computing
$109.99
Nonlinear Dynamics in Geosciences
$219.99
Patterns in the Machine
$34.99
Open Learning and Teaching in Educational Communities
$54.99
