There's still time! Find the perfect Father's Day gift with store pickup | Shop NowThere's still time! Find the perfect Father's Day gift with store pickup | Shop Now
Add Item to wish listAdd Item to wish list

Rewriting Techniques and Applications: 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5 - 7, 1995. Proceedings

By Jieh Hsiang (Editor)
Paperback
$54.99
By Jieh Hsiang (Editor)
Promotion message icon
Premium Members save an extra 10% and all Members collect stamps to save with Rewards. 10 stamps = $5.Learn More
Formats
In stock
This item is currently out of stock online.
Free standard shipping on orders over $60
Select a store to view item availability.
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...

Categories