ENGLISH

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

By Yuri Matiyasevich (auth.) , Jieh Hsiang (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1995
ISBN
3540592008, 9783540592006
DOI
10.1007/3-540-59200-8
LCC
QA267 .I555 1995
Open Library ID
OL781108M
Language
english
Format
DJVU
Filesize
4 MB (4710297 bytes)
Series
Lecture Notes in Computer Science 914
Edition
1
Pages
480\485
Topic
Computers
Library
Kolxo3
DPI
300
Time added
2009-12-04 00:34:26
CompilersInterpreters; Logics and Meanings of Programs; MatProgramming Languages

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.

Similar books