Skip to main content
PBS logo
 
 

Search - Conditional and Typed Rewriting Systems: 2nd International Centres Workshop, Montreal, Canada, Jun 11-14, 1990 : Proceedings (Lecture Notes in Computer Science)

Conditional and Typed Rewriting Systems: 2nd International Centres Workshop, Montreal, Canada, Jun 11-14, 1990 : Proceedings (Lecture Notes in Computer Science)
Conditional and Typed Rewriting Systems 2nd International Centres Workshop Montreal Canada Jun 1114 1990 Proceedings - Lecture Notes in Computer Science
Author: S. Kaplan
In recent years, extensions of rewriting techniques that go beyond the traditional untyped algebraic rewriting framework have been investigated and developed. Among these extensions, conditional and typed systems are particularly important, as are higher-order systems, graph rewriting systems, etc. The international CTRS (Conditional and Typed R...  more »
ISBN-13: 9780387543178
ISBN-10: 0387543171
Publication Date: 10/1991
Pages: 461
Rating:
  ?
0 stars, based on 0 rating
Publisher: Springer
Book Type: Paperback
Members Wishing: 0
Reviews: Amazon | Write a Review


Genres:


Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.