click to view more
Rewriting Techniques and Applications: 6th International Conference, Rta-95, Kaiserslautern, Germany
by
$52.27
List Price: $54.99
Save: $2.72 (4%)
Description
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.
Last updated on
Product Details
- Springer Brand
- Mar 22, 1995 Pub Date:
- 3540592008 ISBN-10:
- 9783540592006 ISBN-13:
- English Language
- 9.25 in * 1.11 in * 6.1 in Dimensions:
- 3 lb Weight:
Money Back
Love it! Use it! Reuse it!
Free Shipping
Shipping is on us
Free Support
24/24 available
