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.
- | Author: Jieh Hsiang
- | Publisher: Springer
- | Publication Date: Mar 22, 1995
- | Number of Pages: 480 pages
- | Binding: Paperback or Softback
- | ISBN-10: 3540592008
- | ISBN-13: 9783540592006
