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 - Theoretical Computer Science and General Issues 2014 edition

Gilles Dowek

Price

$ 65.49

Ordered from remote warehouse

Expected delivery May 17 - 31

Our customers say:

14-day return policy in accordance with European consumer protection law

Top ranking on Trustpilot

Add to your iMusic wish list

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 - Theoretical Computer Science and General Issues 2014 edition

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.

513 pages, 58 black & white illustrations, biography

Media	Books Paperback Book (Book with soft cover and glued back)
Released	July 15, 2014
ISBN13	9783319089171
Publishers	Springer International Publishing AG
Pages	491
Dimensions	155 × 235 × 26 mm · 7.72 kg
Language	French
Editor	Dowek, Gilles

Show all

More by Gilles Dowek

See all of Gilles Dowek ( e.g. Paperback Book )