Overview

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.

ISBN-13

9783540612544

ISBN-10

3540612548

Weight

0.95 Pounds

Dimensions

6.10 x 0.69 x 9.25 In

List Price

$54.99

Edition

1st Edition

Format

Paperback

Language

English

Pages

viii, 296 pages

Publisher

Springer

Published On

1996-05-08



View All Offers

Sort by:

Rows per page:

1–5 of 5

Condition
Seller
Seller Comments
Price
Brand New
Seller details
discount_scientific_books
★★★★★

Sterling Heights, MI, USA

New Book Original US edition, We Ship to PO BOX Address also.
$53.61

 Free delivery by: 31 Mar 2026

Brand New
Seller details
discount_scientific_books
★★★★★

Sterling Heights, MI, USA

New, Satisfaction guaranteed! !
$53.92

 Free delivery by: 31 Mar 2026

Brand New
Seller details
Alibris
★★★★★

Sparks, NV, USA

Print on demand Trade paperback (US). Glued binding. 296 p. Lecture Notes in Computer Science, 1074...
$58.73

 Free delivery by: 31 Mar 2026

Used, Good
Seller details
Bonita
★★★★☆

Santa Clarita, CA, USA

Access codes and supplements are not guaranteed with used items. May be an ex-library book.
$79.49

 Free delivery by: 31 Mar 2026


Bookstores.com relies on cookies to improve your experience.