Rewriting Techniques and Applications
Format: Paperback
ISBN13: 9783540592006
Paperback|9783540592006
✨ Featured Offer
Brand New
$53.42
List Price: $54.99
🚚
See all 3 offers from $53.42 FREE standard delivery by: 30 Mar 2026
Overview
This volume presents the proceedings of the Sixth International Conference on Rewriting Techniques and Applications, RTA-95, held in Kaiserslautern, Germany in April 1995.
The 27 full revised papers were selected from a total of 87 submissions. In addition there are 9 system descriptions and two problem sets, one contributed by Mark E. Stickel and Hantao Zhang and another by Nachum Dershowitz, Jean-Pierre Jouannaud and Jan Willem Klop.
The volume addresses all current aspects of rewriting techniques and their applications and thus defines the state-of-the-art in this active field of research.
The 27 full revised papers were selected from a total of 87 submissions. In addition there are 9 system descriptions and two problem sets, one contributed by Mark E. Stickel and Hantao Zhang and another by Nachum Dershowitz, Jean-Pierre Jouannaud and Jan Willem Klop.
The volume addresses all current aspects of rewriting techniques and their applications and thus defines the state-of-the-art in this active field of research.
| ISBN-13 | 9783540592006 |
|---|---|
| ISBN-10 | 3540592008 |
| Weight | 1.51 Pounds |
| Dimensions | 6.10 x 1.11 x 9.25 In |
| List Price | $54.99 |
| Edition | 1st Edition |
| Format | Paperback |
|---|---|
| Language | English |
| Pages | xii, 480 pages |
| Publisher | Springer |
| Published On | 1995-03-22 |
View All Offers
Sort by:
Price
Condition
Seller
Seller Comments
Price
✨ Brand New
Seller details
discount_scientific_books
Sterling Heights, MI, USA
New Book Original US edition, We Ship to PO BOX Address also.
Free delivery by: 30 Mar 2026
Brand New
Seller details
Alibris
Sparks, NV, USA
Trade paperback (US). Glued binding. 480 p. Lecture Notes in Computer Science, 914.
Free delivery by: 30 Mar 2026
Used, Good
Seller details
Bonita
Santa Clarita, CA, USA
Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Free delivery by: 30 Mar 2026