Produktnummer:
180a6ddaafc03346aba6e02c4dbb6e3f6d
| Themengebiete: | Automatische Deduktion Ersetzungssysteme Höherstufige Logiken automated deduction graph rewriting higher-order logics proving rewriting systems term rewriting theorem proving |
|---|---|
| Veröffentlichungsdatum: | 01.07.1996 |
| EAN: | 9783540614647 |
| Sprache: | Englisch |
| Seitenzahl: | 440 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Ganzinger, Harald |
| Verlag: | Springer Berlin |
| Untertitel: | 7th International Conference, RTA-96, New Brunswick, NJ, USA July 27 - 30, 1996. Proceedings |
Produktinformationen "Rewriting Techniques and Applications"
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.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen