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
Contact
How to shop
Help
Delivery
Austrian Post 5.49 €
GLS courier 4.99 €
DPD courier 4.49 €
DPD point 3.49 €
Shopping guide
My account
▸
Empty :-(
0
Higher-Order Algebra, Logic, and Term Rewriting
2nd International Workshop, Paderborn, Germany, September 1995. Selected Papers
Language
English
English
Book
Paperback
This book presents a collection of revised refereed papers selected from the presentations accepted...
Full description
Libristo code: 05274575
?
111 b
111 b
45.49
€
VAT included
In stock at our supplier
Shipping in 5-8 days
Delivery to Austria
Delivery to Austria
Up to 30 days for returns
Customers also purchased
/
Calendar
74.99
€
/
Hardback
82.99
€
/
Spiral bound
41.79
€
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
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
English
Binding
Book - Paperback
Date of issue
1996
Number of pages
296
EAN
9783540612544
ISBN
3540612548
Libristo code
05274575
Weight
950
Dimensions
155 x 235 x 17
Categories
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 addressYou might also be interested in
/
Paperback
36.39
€
/
Hardback
197.09
€
Book advisor Libroamiko
By using this chat, you are communicating with generative artificial intelligence. By using it, you also agree to the processing of personal data.
Hi! I'm Libroamiko, your book advisor.
How can I help you?
Hi, I'm Libroamiko, can I help?