Stock Image

Higher-Order Algebra, Logic, and Term Rewriting. Lecture Notes in Computer Science, Volume 816

Jan Heering , Karl Meinke , Bernhard Moller , Tobias Nipkow

0 ratings by Goodreads
ISBN 10: 0387582339 / ISBN 13: 9780387582337
Published by Springer, 1994
Used Condition: Good
From Zubal-Books (Cleveland, OH, U.S.A.)

Heritage Bookseller
AbeBooks Member Since 1996

Quantity Available: 1

Buy Used
Price: US$ 6.93 Convert Currency
Shipping: US$ 3.50 Within U.S.A. Destination, Rates & Speeds
Add to basket

30 Day Return Policy

About this Item

*Price HAS BEEN reduced by 10% until Monday, April 23. Order now for BEST SAVINGS* 344 pp., paperback, ex library, else textually clean and tight. Bookseller Inventory # ZB401168

Ask Seller a Question

Bibliographic Details

Title: Higher-Order Algebra, Logic, and Term ...

Publisher: Springer

Publication Date: 1994

Book Condition:Good

About this title

Synopsis:

This volume contains the final revised versions of the best papers presented at the First International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (HOA '93), held in Amsterdam in September 1993. Higher-Order methods are increasingly applied in functional and logic programming languages, as well as in specification and verification of programs and hardware. The 15 full papers in this volume are devoted to the algebra and model theory of higher-order languages, computational logic techniques including resolution and term rewriting, and specification and verification case studies; in total they provide a competently written overview of current research and suggest new research directions in this vigourous area.

"About this title" may belong to another edition of this title.

Store Description

Zubal Books is the #1 buyer and seller of scholarly and rare books in America. Since 1961 we've handled thousands of private and technical libraries. Our family business knows books and we treat our clients with top-notch customer service. If you have any questions about our listings, please don't hesitate to contact us.

Visit Seller's Storefront

Terms of Sale:

Price are net to all
Visa/MC/Check/Money Order
Libraries Invoiced

We do accept checks, however
WE DO NOT HOLD OR RESERVE ANY ITEMS

All international postal rates are subject to change depending on weight
and size.


Shipping Terms:

Orders usually ship within 2 business days. Shipping costs are based on books
weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may
contact
you to let you know extra shipping is required.

List this Seller's Books

Payment Methods
accepted by seller

Visa Mastercard American Express