Rewriting techniques and applications : 7th international conference, RTA-96, New Brunswick, NJ, USA, July 27 30, 1996 : proceedings
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 s...
Đã lưu trong:
| Tác giả của công ty: | |
|---|---|
| Tác giả khác: | |
| Định dạng: | Livre numérique |
| Ngôn ngữ: | Anglais |
| Được phát hành: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Loạt: | Lecture notes in computer science
1103 |
| Những chủ đề: | |
| Truy cập trực tuyến: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Chú thích: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Rewriting techniques and applications, 7th international conference, RTA-96, New Brunswick, NJ, USA, July 1996, proceedings, Harald Ganzinger (ed.), 1996, New York, Springer, 1 vol. (XI-435 p.), Lecture notes in computer science, 3-540-61464-8 • Rewriting Techniques and Applications, Texte imprimé, 9783662207376 |
| Tóm tắt: | 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. |
|---|---|
| Mô tả sách: | Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| số ISBN: | 9783540685968 (PDF) |
| số ISSN: | 1611-3349 |
| Truy cập: | Accès en ligne pour les établissements français bénéficiaires des licences nationales Accès soumis à abonnement pour tout autre établissement Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 |