Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Science & Mathematics > Mathematics > Mathematical foundations

Buy Now

Rewriting and Typed Lambda Calculi - Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings (Paperback, 2014 ed.) Loot Price: R2,951

Discovery Miles 29 510

Repayment Terms: R277 pm x 12*

Add to cart

Rewriting and Typed Lambda Calculi - Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of...

Rewriting and Typed Lambda Calculi - Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings (Paperback, 2014 ed.)

Gilles Dowek

Series: Theoretical Computer Science and General Issues, 8560

(sign in to rate)

Loot Price R2,951 Discovery Miles 29 510 | Repayment Terms: R277 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

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. The 28 revised full papers and 3 short papers presented were carefully reviewed and selected from 87 submissions. The papers provide research results on all aspects of rewriting and typed lambda calculi, ranging from theoretical and methodological issues to applications in various contexts. They address a wide variety of topics such as algorithmic aspects, implementation, logic, types, semantics, and programming.

General

Imprint:	Springer International Publishing AG
Country of origin:	Switzerland
Series:	Theoretical Computer Science and General Issues, 8560
Release date:	July 2014
First published:	2014
Editors:	Gilles Dowek
Dimensions:	235 x 155 x 26mm (L x W x T)
Format:	Paperback
Pages:	491
Edition:	2014 ed.
ISBN-13:	978-3-319-08917-1
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Computing & IT > Computer programming > General Books > Science & Mathematics > Mathematics > Mathematical foundations > General Books > Science & Mathematics > Mathematics > Applied mathematics > Mathematics for scientists & engineers Books > Computing & IT > Applications of computing > Artificial intelligence > General Promotions
LSN:	3-319-08917-X
Barcode:	9783319089171