Rewriting Techniques and Applications

Buch | Softcover

458 Seiten

1991
Springer (Verlag)
978-0-387-53904-1 (ISBN)

Infos

Thirty-five essays from the conference report on new developments in computer science research and teaching. Also included in this volume are short descriptions of four implemented equational reasoning systems that were demonstrated at the meeting. Author index only. Annotation copyright Book News,

Produkt-Details

• Erscheint lt. Verlag: 1.3.1991
• Reihe/Serie: Lecture Notes in Mathematics ; 488
• Mitarbeit: Sonstige Mitarbeit: Ronald V Book
• Sprache: englisch
• Themenwelt: Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
• Schlagworte: Lecture Notes in Computer Science; 488
• ISBN-10: 0-387-53904-2 / 0387539042
• ISBN-13: 978-0-387-53904-1 / 9780387539041
• Zustand: Neuware