Our Location
Welcome to Jarir!
Please type in at least 2 characters
Please type in at least 2 characters
Jarir Logo
International Product
  1. Conditional and Typed Rewriting Systems : 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990. Proceedings
Item 1 of 1
International Product
Item 1 of 1

Conditional and Typed Rewriting Systems : 2nd International CTRS Workshop

MontrealCanadaJune 11-141990. Proceedings

Printed Book
SR 557
Inclusive of VAT
Sold as: EACH
SR33Per Month/24 months
Author:Kaplan, Stephane
Date of Publication: 1991
Book classification:Computer & Technology,English Books,
No. of pages:488 Pages
Format:Paperback

This book is printed on demand and is non-refundable after purchase

Available Formats :

Printed Book

It will be sent to your address

SR557
Incl. VAT
  • Secure Shopping
  • Convenient Returns
  • Genuine & Warranted
  • Fast Delivery

About this Product

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.
Show more

Specifications

SKU9783540543176
Manufacturer Number9783540543176
year published1991
Show more

Report an issue with this product.

Customer Reviews

Write Review
Go back to the top

Copyright © 2026. Jarir Bookstore. C. R. No. 1010032264. Online C. R. No. 1010654213. (Jarir Marketing Company) VAT ID 300056289500003. All Rights Reserved.