Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
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
0
Free delivery for purchases over 69.99 €
Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

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

Language EnglishEnglish
Book Paperback
Book Rewriting and Typed Lambda Calculi Gilles Dowek
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
? points 132 b
54.56 €
106.72  лв
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Sami et Julie CP Niveau 3 : Sami et Julie jardinent Emmanuelle Massonaud Book Paperback
common.buy 6.22 € 12.16 лв
La Princesse du fond des Temps Decroix / Book Paperback
common.buy 19.97 € 39.05 лв
AYANTEK MIRIAM JIMENEZ IRIARTE / Book Hardback
common.buy 24.79 € 48.48 лв
Nasze kochane pieski Opracowanie zbiorowe / Book Paperback
common.buy 0.62 € 1.21 лв
Αγάπα Μόνο Εμένα Amanda Mariel / E-book Adobe ePub DRM
common.buy 4.25 € 8.31 лв
Innovative Wertschoepfung durch neue Formen der globalen Zusammenarbeit Katrin Sturm / Book Paperback
common.buy 18.10 € 35.40 лв
ricchezza del debito pubblico. Secoli XII-XXI Angela Orlandi / Book Paperback
common.buy 29.61 € 57.92 лв
Fantastic Four par WAID/WIERINGO T02 / Book Paperback
common.buy 15.92 € 31.14 лв
Lesestart mit Eberhart: Urlaub zu Hause Nicole Brandau / Book Sheet
common.buy 4.51 € 8.82 лв
Having a Fulfilling Life as an International Student in Japan (Japanese Edition) Chinthaka Premachandra / Book Paperback
common.buy 14.93 € 29.21 лв
Gert Westphal liest Johann Wolfgang von Goethe Johann Wolfgang von Goethe / Audio Audio CD
common.buy 44.71 € 87.44 лв
La escolarización de la infancia gitana en 167 poblaciones de Andalucía Equipo EINA / Book Paperback
common.buy 22.66 € 44.32 лв
Vulgarisation en zone SOFITEX : cas des régions de Dédougou et Houndé Aimé Germain Traore / Book Paperback
common.buy 37.86 € 74.05 лв
Don Quijote de la Mancha : (selección de textos) Miguel de Cervantes Saavedra / Book Paperback
common.buy 10.78 € 21.09 лв
Kod Adi Mucize Ünver Alibey / Book Paperback
common.buy 10.78 € 21.09 лв
sterbende Cato Johann Christoph Gottsched / Book Paperback
common.buy 9.49 € 18.56 лв
Hagibor Milena Slavická / Book Paperback
common.buy 8.71 € 17.03 лв
Kompensatorenlyrik Thomas Michels / Book Hardback
common.buy 13.90 € 27.18 лв
Telearbeit unter besonderer Berucksichtigung ihrer Wirtschaftlichkeit und Qualitat Oliver Wiesehahn / Book Paperback
common.buy 36.05 € 70.50 лв
Alternative Investments Michael Sezemsky / Book Paperback
common.buy 45.49 € 88.96 лв
Novellen Helene Böhlau / Book Paperback
common.buy 14.31 € 27.99 лв

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Rewriting and Typed Lambda Calculi
Author Gilles Dowek
Language English
Binding Book - Paperback
Date of issue 2014
Number of pages 491
EAN 9783319089171
ISBN 331908917X
Libristo code 02775233
Publishers Springer International Publishing AG
Weight 7723
Dimensions 155 x 235 x 26

Categories

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists
Computing & Information Technology > Computer programming / software engineering > Programming techniques
Computing & Information Technology > Computer science > Computer architecture & logic design
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Errors-in-Variables Methods in System Identification Torsten Söderström / Book Hardback
common.buy 184.86 € 361.56 лв
Cineplex Dennis Formento / Book Paperback
common.buy 10.37 € 20.28 лв
Ultrasonography of the Prenatal Brain, Third Edition Ilan Timor-Tritsch / Book Hardback
common.buy 391.78 € 766.26 лв
Design Technology in Contemporary Architectural Practice Holzer / Book Paperback
common.buy 54.67 € 106.92 лв
Awakening the Actor Within Foster / Book Hardback
common.buy 31.69 € 61.98 лв
Murder Under the Bridge Kate Jessica Raphael / Book Paperback
common.buy 13.59 € 26.57 лв
How to Make a Motor or Dynamo A. E. Watson / Book Paperback
common.buy 21.99 € 43.01 лв
Souvenir Bradford Sherman / Book Paperback
common.buy 12.86 € 25.15 лв
Guile Constance Cooper / Book Paperback
common.buy 14.00 € 27.38 лв
Heritage from Below Iain J. M. Robertson / Book Paperback
common.buy 87.92 € 171.95 лв
Jetsetters Amanda Eyre Ward / Book Hardback
common.buy 27.69 € 54.16 лв
Salt Skin Michelle Rhodes / Book Paperback
common.buy 14.88 € 29.11 лв
Few Words on No. 90 of the Tracts for the Times; In a Letter to One of His Parishioners. John Henry Newman / Book Paperback
common.buy 14.16 € 27.69 лв
Mediation and Atonement John Taylor / Book Paperback
common.buy 8.35 € 16.32 лв
Study Guide for Marlene Reed Wetzel's a Map of Tripoli,1967 Cengage Learning Gale / Book Paperback
common.buy 11.82 € 23.12 лв
Kurdistan LUNGTHUIYANG RIAMEI / Book Hardback
common.buy 64.47 € 126.09 лв
The Brothers Karamazov Fyodor Mikhailovich Dostoyevsky / Book Paperback
common.buy 26.92 € 52.64 лв
Dance and Dancers in the Victorian and Edwardian Music Hall Ballet CARTER / Book Hardback
common.buy 252.40 € 493.65 лв
Optimal Placement of Rapid Charging Stations for Electric Vehicles Md. Mainul Islam / Book Paperback
common.buy 75.52 € 147.70 лв
Market Harborough and Inside the Bar George John Whyte-Melville / Book Paperback
common.buy 28.42 € 55.59 лв
Loose-Leaf Version for Biochemistry: A Short Course John L. Tymoczko / Book Sheet
common.buy 231.81 € 453.38 лв
Cordially Yours, Brother Cadfael Anne K. Kaler / Book Paperback
common.buy 15.56 € 30.43 лв
Ecogenetics P. Grandjean / Book Paperback
common.buy 163.18 € 319.16 лв
Three Hundred Years of Gravitation S. W. HawkingW. Israel / Book Paperback
common.buy 77.08 € 150.75 лв

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?