null Skip to main content

✨ Buy more, save 5% Ends

Conditional and Typed Rewriting Systems: 2nd International Ctrs Workshop, Montreal, Canada, June 11-14, 1990. Proceedings

Conditional and Typed Rewriting Systems: 2nd International Ctrs Workshop, Montreal, Canada, June 11-14, 1990. Proceedings

Stephane Kaplan

$60.32
(No reviews yet) Write a Review
Physical book delivery

Shipping calculated at checkout.

Estimated delivery
Adding to cart… The item has been added
Product Details
Author:
Stephane Kaplan
Publisher:
Springer
Publication Date:
Aug 07, 1991
Number of pages:
464 pages
Binding:
Paperback or Softback
ISBN-10:
3540543171
ISBN-13:
9783540543176

Overview

This volume presents the proceedings of the second international CTRS workshop. Topics include the theory of conditional and typed rewriting and its application to programming languages, automated deduction, and other related extensions of rewriting techniques.


  • | Author: Stephane Kaplan
  • | Publisher: Springer
  • | Publication Date: Aug 07, 1991
  • | Number of Pages: 464 pages
  • | Binding: Paperback or Softback
  • | ISBN-10: 3540543171
  • | ISBN-13: 9783540543176

Reviews

0 Reviews

Write a Review

No reviews yet.

Share your experience and help another reader choose their next book.

!

Discover your next great book

Get new releases, reader favourites, and special offers delivered to your inbox.