Noch Fragen? 0800 / 33 82 637

Rewriting Techniques and Applications

6th International Conference, RTA-95, Kaiserslautern, Germany, April 5 - 7, 1995. Proceedings

Produktform: Buch / Einband - flex.(Paperback)

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.weiterlesen

Dieser Artikel gehört zu den folgenden Serien

Sprache(n): Englisch

ISBN: 978-3-540-59200-6 / 978-3540592006 / 9783540592006

Verlag: Springer Berlin

Erscheinungsdatum: 22.03.1995

Seiten: 480

Auflage: 1

Zielgruppe: Research

Herausgegeben von Jieh Hsiang

53,49 € inkl. MwSt.
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zurück