Rewriting and Typed Lambda Calculi Joint International Conferences RTA
In stock
Smart shoppers OnBuy it!
- Earn Cashback on every purchase – spend it instantly on your next order
- Free delivery – on millions of items across the site
- Customers love us – 133,000 Trustpilot reviews and an 'Excellent' rating
Interest-free payment options available
See full product description & details
Delivery: Standard (Free) | Thu 17th - Sat 19th Sep
Sold by: Ria Christie Collections
Returns: 30 days
180-day payment protection
Rewriting and Typed Lambda Calculi Joint International Conferences RTA Description
This book constitutes the refereed proceedings of the Joint 25th International Conference on Rewriting Techniques and Applications, RTA 2014, and 12th International Conference on Typed Lambda-Calculi and Applications, TLCA 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014.
Details
| OPC | PXN8SHB |
|---|---|
| Brand | riachristiecollections |
| Codes | 331908917X (ISBN-10) |
| 9783319089171 (ISBN) | |
| MPN | 9783319089171 |
Compare Sellers for Rewriting and Typed Lambda Calculi Joint International Conferences RTA
- New from £61.12
| Seller | Ratings | Warranty | Returns | Price | Delivery | Total | Quantity |
|---|---|---|---|---|---|---|---|
| (207 reviews) | - |
30 Days
Free Returns No
|
£61.12
|
+Free Delivery
Est. Delivery:
17th-19th Sep
|
£61.12
|
Earn as you shop with instant Cashback on everything.
No catch, no cost
- Paid into your OnBuy account
- Spend it on your next purchase
- Save it or withdraw it
Become a Cashback VIP
Just 1 purchase unlocks bigger deals & rates