Rewriting techniques and applications : 6th international conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995 : proceedings /
"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 t...
| Corporate Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
[1995]
|
| Series: | Lecture notes in computer science ;
914. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
| Summary: | "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."--PUBLISHER'S WEBSITE. |
|---|---|
| Item Description: | Electronic resource. |
| Physical Description: | 1 online resource (xii, 471 pages) : illustrations |
| Bibliography: | Includes bibliographical references and index. |
| ISBN: | 3540592008 (Berlin : acid-free paper) 9783540592006 (Berlin : acid-free paper) 0387592008 (New York : acid-free paper) 9780387592008 (New York : acid-free paper) |