phone 02/210 210 99
LIBRISTO 0
Free delivery for purchases over 59.99 €
Slovak post 4.49 € SPS courier 4.99 € GLS courier 3.99 € GLS point 2.99 € Packeta courier 4.99 € Packeta point 2.99 € SPS Parcel Shop 2.99 €
phone Contact phoneHow to shop

Term Rewriting and Applications

Language EnglishEnglish
Book Paperback
Book Term Rewriting and Applications Frank Pfenning
Libristo code: 01562413
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, July 2006
This book constitutes the refereed proceedings of the 17th International Conference on Rewriting Tec... Full description
? points 154 b
61.56 €
Low in stock at our supplier Shipping in 13-16 days

30-day return policy

You might also be interested in

Peter Tschaikowsky Constantin Floros / Paperback
common.buy 11.01 €
Verfassungsrechtliche Grenzen rückwirkender Anwaltsgebührenerhöhungen. Hartmut Bauer / Paperback
common.buy 35.27 €
Renaissance Florence Roger J. CrumJohn T. Paoletti / Hardback
common.buy 199.56 €
Ich rechne mit! - Berlin, Brandenburg, Mecklenburg-Vorpommern, Sachsen, Sachsen-Anhalt, Thüringen - 1. Schuljahr Klaus-Peter Käding / Paperback
common.buy 11.51 €
Hundert Jahre im Altkreis Geldern Paul van Treeck / Paperback
common.buy 14.75 €
Aiming at Virtue in Plato Iakovos Vasiliou / Paperback
common.buy 52.36 €
Exotic Attractors Jorge Buescu / Paperback
common.buy 61.56 €
Carfit. Englisch für Fahrzeugberufe, m. 1 Audio-CD / Sheet
common.buy 20.92 €
Die Lücke im Gesetz Ingo Lenßen / Paperback
common.buy 15.05 €
Franz Sternbalds Wanderungen Ludwig Tieck / Paperback
common.buy 11.62 €
Jagdmethoden und Fanggeheimnisse Emil Regener / Paperback
common.buy 75.11 €
Gitterstrukturen des Erdmagnetfeldes Klaus Piontzik / Paperback
common.buy 42.86 €
Ausgabe H, Schwarz / Hardback
common.buy 22.53 €
Tot und begraben Carola Clasen / Paperback
common.buy 9.90 €

This book constitutes the refereed proceedings of the 17th International Conference on Rewriting Techniques and Applications, RTA 2006, held in Seattle, WA, USA in August 2006. The book presents 23 revised full papers and 4 systems description papers together with 2 invited talks and a plenary talk of the hosting FLoC conference. Topics include equational reasoning, system verification, lambda calculus, theorem proving, system descriptions, termination, higher-order rewriting and unification, and more.

About the book

Full name Term Rewriting and Applications
Author Frank Pfenning
Language English
Binding Book - Paperback
Date of issue 2006
Number of pages 418
EAN 9783540368342
ISBN 3540368345
Libristo code 01562413
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 1340
Dimensions 155 x 235 x 24

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
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 > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
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

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