Rewriting Techniques and Applications: 6th International Conference, Rta-95, Kaiserslautern, Germany, April 5 - 7, 1995. Proceedings 1995 Edition Contributor(s): Hsiang, Jieh (Editor) |
|
ISBN: 3540592008 ISBN-13: 9783540592006 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback - Other Formats Published: March 1995 Annotation: 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. |
Additional Information |
BISAC Categories: - Computers | Compilers - Computers | Programming Languages - General - Computers | Logic Design |
Dewey: 005.131 |
LCCN: 95013007 |
Series: Lecture Notes in Physics |
Physical Information: 0.99" H x 6.14" W x 9.21" (1.50 lbs) 480 pages |
Descriptions, Reviews, Etc. |
Publisher 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. |