Das Buch ist derzeit nicht auf Lager
Rewriting techniques and applications
Autoren
Parameter
Mehr zum Buch
This book constitutes the refereed proceedings of the 12th International Conference on Rewriting Techniques and Applications, RTA 2001, held in Utrecht, The Netherlands, in May 2001. The 23 revised full papers presented together with two system descriptions were carefully reviewed and selected from 55 submissions. All current aspects of rewriting are addressed.
Buchkauf
Rewriting techniques and applications, Aart Middeldorp
- Sprache
- Erscheinungsdatum
- 2001
Wir benachrichtigen dich per E-Mail.
Lieferung
Zahlungsmethoden
Deine Änderungsvorschläge
- Titel
- Rewriting techniques and applications
- Sprache
- Englisch
- Autor*innen
- Aart Middeldorp
- Verlag
- Springer
- Erscheinungsdatum
- 2001
- ISBN10
- 3540421173
- ISBN13
- 9783540421177
- Reihe
- Lecture notes in computer science
- Kategorie
- Informatik & Programmierung
- Beschreibung
- This book constitutes the refereed proceedings of the 12th International Conference on Rewriting Techniques and Applications, RTA 2001, held in Utrecht, The Netherlands, in May 2001. The 23 revised full papers presented together with two system descriptions were carefully reviewed and selected from 55 submissions. All current aspects of rewriting are addressed.