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 €
DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

Higher-Order Algebra, Logic, and Term Rewriting

2nd International Workshop, Paderborn, Germany, September 1995. Selected Papers

Language EnglishEnglish
Book Paperback
Book Higher-Order Algebra, Logic, and Term Rewriting Gilles Dowek
Libristo code: 05274575
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, May 1996
This book presents a collection of revised refereed papers selected from the presentations accepted... Full description
? points 125 b
51.64 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Wohneigentum Michael Voigtländer / Book Hardback
common.buy 105.71 €
L'Atelier des Sorciers T07 Kamome Shirahama / Book Paperback
common.buy 11.11 €
Weit ist mein Gefängnis Assia Djebar / Book Paperback
common.buy 10.60 €
Женщина Т. Арисима / Book Paperback
common.buy 14.85 €
David Gilmour: Luck And Strange LP David Gilmour Audio Audio vinyl
common.buy 29.50 €
Herausforderungen Der Internationalen Marktorientierten Unternehmensfuhrung Andreas Mann / Book Hardback
common.buy 79.94 €
Przewodnik podróżnika po gwiazdach Johnson Les / Book Paperback
common.buy 19.80 €
Reise zum Mittelpunkt der Erde, Schulausgabe Jules Verne / Book Paperback
common.buy 6.66 €
HOMME FEMME : LA PART DE LA SEXUALITE Déroff Book Paperback
common.buy 20.31 €
Antéchrista Amélie Nothomb / Book Paperback
common.buy 5.65 €
Fälle und Musterlösungen zum Waffenrecht Jürgen Beck / Book Paperback
common.buy 14.44 €
Top
Puzzle 1000 Art Collection Pocałunek Gustav Klimt / Game/Toy Jigsaw puzzle
common.buy 7.07 €

This book presents a collection of revised refereed papers selected from the presentations accepted for the Second International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, HOA '95, held in Paderborn, Germany, in September 1995.The 14 research papers included, together with an invited paper by Jan Willem Klop, report state-of-the-art results; the relevant theoretical aspects are addressed, and in addition existing proof systems and term rewriting systems are discussed.

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 Higher-Order Algebra, Logic, and Term Rewriting
Author Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller
Language English
Binding Book - Paperback
Date of issue 1996
Number of pages 296
EAN 9783540612544
ISBN 3540612548
Libristo code 05274575
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 950
Dimensions 155 x 235 x 17

Categories

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer programming / software engineering
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

Total Hip Replacement Jean Pierre Courpied / Book Paperback
common.buy 102.88 €
Equilibrium States and the Ergodic Theory of Anosov Diffeomorphisms Robert E. Bowen / Book Paperback
common.buy 41.33 €
Mathematical Foundations of Computer Science 2015 Giuseppe Italiano / Book Paperback
common.buy 51.64 €
Obligation Aurora Rose Reynolds / Book Paperback
common.buy 12.12 €
Natur Symphonie Siegmund Von Hausegger / Book Paperback
common.buy 13.43 €
Captives in the Shadows Steven R Green / Book Paperback
common.buy 18.39 €
Coming soon
Grand Tour Guide to the World Jeremy Clarkson / Book Hardback
common.buy 18.79 €
Advances in Condition Monitoring of Machinery in Non-Stationary Operations Anna Timofiejczuk / Book Hardback
common.buy 226.50 €
Value and Profit Geoffrey Whittington / Book Paperback
common.buy 49.01 €
Hoard of Thunder: Volume I Gemino H. Abad / Book Paperback
common.buy 23.24 €
Cello Secrets Brian Hodges / Book Paperback
common.buy 55.38 €
Crane in the Clouds Sung-Il Lee / Book Paperback
common.buy 25.06 €
A Woman's Right to Culture: Toward Gendered Cultural Rights Linda L. Veazey / Book Paperback
common.buy 28.49 €
Money and Abstract Labour Ulrich Krause / Book Paperback
common.buy 17.17 €
The Bread Book: Multiplying and Dividing Tony Hyland / Book Paperback
common.buy 11.71 €
Lottie's Laughter: A Regency Romance Stephany Mary Travers / Book Paperback
common.buy 10.30 €
Coming soon
Across America Maurice Isserman / Book Hardback
common.buy 39.71 €
Strategy, National Interests, and Means to an End Strategic Studies Institute / Book Paperback
common.buy 17.27 €
Legends of the Turf Volume 2 Charl Pretorius / Book Paperback
common.buy 11.11 €
Top
Decline of the West Oswald Spengler / Book Paperback
common.buy 14.24 €
Oman Since 1856 Robert Geran Landen / Book Hardback
common.buy 246.31 €
Place Of Christ In Modern Theology Fairbairn A.M. / Book Paperback
common.buy 44.87 €
Letter to the Rev. T. Watson Watson / Book Paperback
common.buy 12.62 €
I'll Bring You Back Joe Hart / Book Paperback
common.buy 14.65 €

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