Autorenfreundlich Bücher kaufen?!
Beschreibung
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.
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.
6th International Conference, RTA-95, Kaiserslautern, Germany, April 5 - 7, 1995. Proceedings
Details
| Verlag | Springer Berlin |
| Ersterscheinung | 22. März 1995 |
| Maße | 23.5 cm x 15.5 cm |
| Gewicht | 739 Gramm |
| Format | Softcover |
| ISBN-13 | 9783540592006 |
| Seiten | 480 |
Schlagwörter
Herstellerinformationen
Bekannt durch
