Conditional and Typed Rewriting Systems

Buch | Softcover

461 Seiten

1991
Springer (Verlag)
978-0-387-54317-8 (ISBN)

Infos

Proceedings of the meeting held June 1990 at Concordia U. in Montreal, Canada. Topics included the theory of conditional and typed rewriting and its application to programming languages, automated deduction, and other related extensions of rewriting techniques, such as graph rewriting, combinator ba

Produkt-Details

• Erscheint lt. Verlag: 1.8.1991
• Reihe/Serie: Lecture Notes in Artificial Intelligence ; 516
• Zusatzinfo: illustrations
• Sprache: englisch
• Themenwelt: Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
• Schlagworte: Lecture Notes in Computer Science; 516
• ISBN-10: 0-387-54317-1 / 0387543171
• ISBN-13: 978-0-387-54317-8 / 9780387543178
• Zustand: Neuware