Rewriting Techniques and Applications: 6th International Conference, RTA-95 Kaiserslautern, Germany, April 5–7, 1995 Proceedings
Yuri Matiyasevich (auth.), Jieh Hsiang (eds.)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.
Categories:
Year:
1995
Edition:
1
Publisher:
Springer-Verlag Berlin Heidelberg
Language:
english
Pages:
480
ISBN 10:
3540592008
ISBN 13:
9783540592006
Series:
Lecture Notes in Computer Science 914
File:
DJVU, 4.49 MB
IPFS:
,
english, 1995