Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD point 1 170 Ft DPD courier 1 370 Ft GLS point 1 370 Ft Hungarian Post 1 975 Ft Hungarian Post 1 870 Ft Hungarian Post 1 870 Ft FoxPost 1 370 Ft Packeta point 1 370 Ft GLS courier 1 870 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Rewriting and Typed Lambda Calculi

Name: Rewriting and Typed Lambda Calculi
Brand: Springer International Publishing AG
SKU: 02775233
Price: 19661 HUF
Availability: InStock
Author: Gilles Dowek
ISBN: 9783319089171

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

Gilles Dowek

Language

English

Book Paperback

Libristo code: 02775233

Publishers Springer International Publishing AG, July 2014

This book constitutes the refereed proceedings of the Joint 25th International Conference on Rewriti... Full description

Libristo code: 02775233

132 b

19 661 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Αγάπα Μόνο Εμένα Amanda Mariel

Adobe ePub DRM

1 574 Ft

Innovative Wertschoepfung durch neue Formen der globalen Zusammenarbeit Katrin Sturm

Paperback

6 752 Ft

Sami et Julie CP Niveau 3 : Sami et Julie jardinent Emmanuelle Massonaud Book

Paperback

1 861 Ft

Sertorio, el elegido de la diosa blanca Javier Negrete

Adobe ePub DRM

4 797 Ft

Catalogue d'Estampes Anciennes Et Modernes Loÿs Delteil

Paperback

5 455 Ft

Fantastic Four par WAID/WIERINGO T02

Paperback

5 183 Ft

La Princesse du fond des Temps Decroix

Paperback

6 618 Ft

ricchezza del debito pubblico. Secoli XII-XXI Angela Orlandi

Paperback

11 011 Ft

LA INCREIBLE HISTORIA DEL PAPA LUNA DAL BELLO

Paperback

10 370 Ft

Nasze kochane pieski Opracowanie zbiorowe

Paperback

579 Ft

LA MICROBIOLOGIE ENDODONTIQUE Sunanda Gaddalay

Paperback

17 884 Ft

Kod Adi Mucize Ünver Alibey

Paperback

4 005 Ft

Enzyklopadie der Diskmags Claus-Dieter Volko

Paperback

18 661 Ft

Novellen Helene Böhlau

Paperback

5 319 Ft

Alternative Investments Michael Sezemsky

Paperback

16 944 Ft

Telearbeit unter besonderer Berucksichtigung ihrer Wirtschaftlichkeit und Qualitat Oliver Wiesehahn

Paperback

13 434 Ft

Kompensatorenlyrik Thomas Michels

Hardback

5 183 Ft

Hagibor Milena Slavická

Paperback

2 960 Ft

sterbende Cato Johann Christoph Gottsched

Paperback

3 539 Ft

AYANTEK MIRIAM JIMENEZ IRIARTE

Hardback

8 534 Ft

Don Quijote de la Mancha : (selección de textos) Miguel de Cervantes Saavedra

Paperback

3 663 Ft

Vulgarisation en zone SOFITEX : cas des régions de Dédougou et Houndé Aimé Germain Traore

Paperback

13 642 Ft

Gert Westphal liest Johann Wolfgang von Goethe Johann Wolfgang von Goethe

Audio CD

16 691 Ft

Having a Fulfilling Life as an International Student in Japan (Japanese Edition) Chinthaka Premachandra

Paperback

5 960 Ft

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.