Books > Computing & IT > Computer programming
|
Buy Now
Rewriting Techniques and Applications - 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5 - 7, 1995. Proceedings (Paperback, 1995 ed.)
Loot Price: R1,804
Discovery Miles 18 040
|
|
Rewriting Techniques and Applications - 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5 - 7, 1995. Proceedings (Paperback, 1995 ed.)
Series: Lecture Notes in Computer Science, 914
Expected to ship within 10 - 15 working days
|
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.