Rewriting Techniques and Applications
7th International Conference, RTA-96, New Brunswick, NJ, USA July 27 - 30, 1996. Proceedings
Mitarbeit:Ganzinger, Harald
Rewriting Techniques and Applications
7th International Conference, RTA-96, New Brunswick, NJ, USA July 27 - 30, 1996. Proceedings
Mitarbeit:Ganzinger, Harald
- Broschiertes Buch
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
This book constitutes the refereed proceedings of the 7th International Conference on Rewriting Techniques and Applications, RTA-96, held in New Brunswick, NJ, USA, in July 1996. The 27 revised full papers presented in this volume were selected from a total of 84 submissions, also included are six system descriptions and abstracts of three invited papers. The topics covered include analysis of term rewriting systems, string and graph rewriting, rewrite-based theorem proving, conditional term rewriting, higher-order rewriting, unification, symbolic and algebraic computation, and efficient implementation of rewriting on sequential and parallel machines.…mehr
- DershowitzConditional and Typed Rewriting Systems40,99 €
- HsiangRewriting Techniques and Applications40,99 €
- Sophie Tison (ed.)Rewriting Techniques and Applications39,99 €
- ComonRewriting Techniques and Applications39,99 €
- Nachum Dershowitz (ed.)Rewriting Techniques and Applications40,99 €
- Jürgen Giesl (ed.)Term Rewriting and Applications77,99 €
- Vincent van Oostrom (ed.)Rewriting Techniques and Applications40,99 €
-
-
-
The 27 revised full papers presented in this volume were selected from a total of 84 submissions, also included are six system descriptions and abstracts of three invited papers. The topics covered include analysis of term rewriting systems, string and graph rewriting, rewrite-based theorem proving, conditional term rewriting, higher-order rewriting, unification, symbolic and algebraic computation, and efficient implementation of rewriting on sequential and parallel machines.
- Produktdetails
- Lecture Notes in Computer Science 1103
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 978-3-540-61464-7
- 1996.
- Seitenzahl: 456
- Erscheinungstermin: 1. Juli 1996
- Englisch
- Abmessung: 235mm x 155mm x 25mm
- Gewicht: 602g
- ISBN-13: 9783540614647
- ISBN-10: 3540614648
- Artikelnr.: 09227551
- Lecture Notes in Computer Science 1103
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 978-3-540-61464-7
- 1996.
- Seitenzahl: 456
- Erscheinungstermin: 1. Juli 1996
- Englisch
- Abmessung: 235mm x 155mm x 25mm
- Gewicht: 602g
- ISBN-13: 9783540614647
- ISBN-10: 3540614648
- Artikelnr.: 09227551