Rewriting Techniques and Applications
6th International Conference, RTA-95, Kaiserslautern, Germany, April 5 - 7, 1995. Proceedings
Mitarbeit:Hsiang, Jieh
Rewriting Techniques and Applications
6th International Conference, RTA-95, Kaiserslautern, Germany, April 5 - 7, 1995. Proceedings
Mitarbeit:Hsiang, Jieh
- Broschiertes Buch
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
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.
- Leo Bachmair (ed.)Rewriting Techniques and Applications39,99 €
- GanzingerRewriting Techniques and Applications39,99 €
- Nachum Dershowitz (ed.)Rewriting Techniques and Applications39,99 €
- DershowitzConditional and Typed Rewriting Systems39,99 €
- NipkowRewriting Techniques and Applications39,99 €
- Vincent van Oostrom (ed.)Rewriting Techniques and Applications39,99 €
- Frank Pfenning (ed.)Term Rewriting and Applications39,99 €
-
-
-
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.
- Produktdetails
- Lecture Notes in Computer Science 914
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 978-3-540-59200-6
- 1995.
- Seitenzahl: 492
- Erscheinungstermin: 22. März 1995
- Englisch
- Abmessung: 235mm x 155mm x 27mm
- Gewicht: 654g
- ISBN-13: 9783540592006
- ISBN-10: 3540592008
- Artikelnr.: 09232124
- Lecture Notes in Computer Science 914
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 978-3-540-59200-6
- 1995.
- Seitenzahl: 492
- Erscheinungstermin: 22. März 1995
- Englisch
- Abmessung: 235mm x 155mm x 27mm
- Gewicht: 654g
- ISBN-13: 9783540592006
- ISBN-10: 3540592008
- Artikelnr.: 09232124