OpenCourser brand icon
Sign in
We may earn an affiliate commission when you visit our partners.
Image of book cover for Algebraic and Logic Programming

Algebraic and Logic Programming

Michael Hanus
Read the reviews and buy this book on Amazon

This book constitutes the refereed proceedings of the 6th International Conference on Algebraic and Logic Programming, ALP '97 and the 3rd International Workshop on Higher-Order Algebra, Logic and Term Rewriting, HOA '97, held jointly in Southampton, UK, in September 1997.

The 18 revised full papers presented in the book were selected from 31 submissions. The volume is divided in sections on functional and logic programming, higher-order methods, term rewriting, types, lambda-calculus, and theorem proving methods.

Read on Amazon

Available editions

Algebraic and Logic Programming: 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings (Lecture Notes in Computer Science, 1298)
Paperback
$$$

Save this book

Create your own learning path. Save this book to your list so you can find it easily later.
Save

Share

Help others find this book page by sharing it with your friends and followers:
Facebook
LinkedIn
Reddit
X
Link
Email

Amazon Buyer Protections & Purchase Guarantee

Protected by Amazon A-to-z Guarantee & generous return policies

Amazon A-to-z Guarantee
Buyer Protection

Amazon A-to-z Guarantee

Every book purchase is protected by the Amazon A-to-z Guarantee. This guarantee covers both the condition of your book and its timely delivery, providing full buyer protection whether you purchase directly from Amazon or from third-party marketplace sellers.

Return Policy

Generous 30-Day Returns & Free Shipping

Generous 30-day return policy on physical books. Amazon makes returns effortless with self-service return labels, drop-off at thousands of local locations (Kohl's, Whole Foods, UPS Stores), and free return shipping on eligible book purchases.

Savings & Discounts

Great Savings & Member Discounts

Maximize your savings with competitive pricing, deep discounts on new and used marketplace copies, bundled textbook rentals, and exclusive member savings through Amazon Prime with free fast delivery.

Formats & Programs

Kindle, Audible & Physical Formats

Read your way across versatile digital and physical formats: instant delivery via Kindle eBooks, unlimited reading with a Kindle Unlimited subscription, audiobook listening with Audible (often featuring a 30-day free trial), or traditional paperback and hardcover editions.

Amazon Purchase Protections & Benefits
Amazon A-to-z Guarantee covering third-party & direct purchases
Generous 30-day return policy with hassle-free drop-off options
Kindle eBook editions with instant delivery on any device
Kindle Unlimited program with access to over 4 million titles
Audible audiobooks with free trial eligibility
Competitive discounts across new, used, and rental copies
Amazon Affiliate Partner Protections Policy details last reviewed: 2026-10-22
Length: 308 pages
Our mission

OpenCourser helps millions of learners each year. People visit us to learn workspace skills, ace their exams, and nurture their curiosity.

Our extensive catalog contains over 50,000 courses and twice as many books. Browse by search, by topic, or even by career interests. We'll match you to the right resources quickly.

Find this site helpful? Tell a friend about us.

Affiliate disclosure

We're supported by our community of learners. When you purchase or subscribe to courses and programs or purchase books, we may earn a commission from our partners.

Your purchases help us maintain our catalog and keep our servers humming without ads.

Thank you for supporting OpenCourser.

© 2016 - 2025 OpenCourser