Delivery included to the United States

Conditional and Typed Rewriting Systems

Conditional and Typed Rewriting Systems 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990 : Proceedings - Lecture Notes in Computer Science

Paperback

Not available for sale

Out of stock

This service is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Publisher's Synopsis

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 based languages, and their application to parallel a

Book information

ISBN: 9780387543178
Publisher: Springer Verlag
Imprint: Springer Verlag
Language: English
Number of pages: 461
Weight: -1g