Rewriting and Typed Lambda Calculi Image close
Rewriting and Typed Lambda Calculi
Rewriting and Typed Lambda Calculi
Show Hide Adult Content
Rewriting and Typed Lambda Calculi close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Maths & Science  
Mathematics  
Mathematical foundations

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
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$145.99
RRP:
$172.95 save $26.96
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $36.50 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 7-19 June using International Courier

Explore more Theoretical Computer Science and General Issues

See all products in this series

Foundations of Software Science and Computational Structures Save $58
$144.99
$203.95
Foundations of Software Science and Computational Structures
Paperback / softback
Available - Usually ships in 3-4 weeks
Foundations of Software Science and Computational Structures Save $80
$144.99
$225.95
Foundations of Software Science and Computational Structures
Paperback / softback
Available - Usually ships in 3-4 weeks
Artificial Neural Networks and Machine Learning – ICANN 2020 Save $23
$270.99
$294.95
Artificial Neural Networks and Machine Learning – ICANN 2020
Paperback / softback
Available - Usually ships in 3-4 weeks
Automata, Languages and Programming Save $5
$282.99
$288.95
Automata, Languages and Programming
Paperback / softback
Available - Usually ships in 3-4 weeks
STACS 2006
$305.99
STACS 2006
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational and Ambient Intelligence Save $20
$295.99
$316.95
Computational and Ambient Intelligence
Paperback / softback
Available - Usually ships in 3-4 weeks
Foundations of Software Science and Computational Structures Save $20
$140.99
$161.95
Foundations of Software Science and Computational Structures
Paperback / softback
Available - Usually ships in 3-4 weeks
Evolutionary Multi-Criterion Optimization
$428.99
Evolutionary Multi-Criterion Optimization
Paperback / softback
Available - Usually ships in 3-4 weeks
Reconfigurable Computing: Architectures, Tools, and Applications Save $28
$140.99
$169.95
Reconfigurable Computing: Architectures, Tools, and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Aided Verification Save $16
$146.99
$163.95
Computer Aided Verification
Paperback / softback
Available - Usually ships in 3-4 weeks
Structural Information and Communication Complexity Save $8
$150.99
$159.95
Structural Information and Communication Complexity
Paperback / softback
Available - Usually ships in 3-4 weeks
Correct Hardware Design and Verification Methods Save $72
$141.99
$214.95
Correct Hardware Design and Verification Methods
Paperback / softback
Available - Usually ships in 3-4 weeks
Discrete and Computational Geometry and Graphs
$138.99
Discrete and Computational Geometry and Graphs
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Science and Its Applications -- ICCSA 2015 Save $45
$153.99
$199.95
Computational Science and Its Applications -- ICCSA 2015
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Linguistics and Intelligent Text Processing Save $45
$139.99
$185.95
Computational Linguistics and Intelligent Text Processing
Paperback / softback
Available - Usually ships in 3-4 weeks
Artificial Neural Networks - ICANN 2007 Save $47
$290.99
$338.95
Artificial Neural Networks - ICANN 2007
Paperback / softback
Available - Usually ships in 3-4 weeks

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. 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.
Release date Australia
July 15th, 2014
Audience
  • Professional & Vocational
Contributor
  • Edited by Gilles Dowek
Illustrations
58 Illustrations, black and white; XXII, 491 p. 58 illus.
Pages
491
Dimensions
155x235x26
ISBN-13
9783319089171
Product ID
22524979

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations >
Mathematical logic
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Applied mathematics >
Mathematics for scientists & engineers
Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Computers & Internet >
Computer Programming
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation >
Maths for computer scientists
Books >
Computers & Internet >
Computer science >
Artificial intelligence