Applicable Algebra, Error-Correcting Codes, Combinatorics and Computer Algebra; 4th International Conference, AAECC-4; Karlsruhe, FRG; September 23-26, 1986 Proceedings. (Lecture Notes in Computer Science)

Publisher

Springer-Verlag, OHG, Berlin, Germany

Publication Date

1989

ISBN 10

3540510818

ISBN 13

9783540510819

Binding

Paperback

Edition

1st.

Condition

Good

Dust Jacket Condition

No Jacket

Book Type

Ex-Library

Seller catalogs

PROGRAMMING

About this title

Synopsis

Rewriting has always played an important role in symbolic manipulation and automated deduction systems. The theory of rewriting is an outgrowth of Combinatory Logic and the Lambda Calculus. Applications cover broad areas in automated reasoning, programming language design, semantics, and implementations, and symbolic and algebraic manipulation. The proceedings of the third International Conference on Rewriting Techniques and Applications contain 34 regular papers, covering many diverse aspects of rewriting (including equational logic, decidability questions, term rewriting, congruence-class rewriting, string rewriting, conditional rewriting, graph rewriting, functional and logic programming languages, lazy and parallel implementations, termination issues, compilation techniques, completion procedures, unification and matching algorithms, deductive and inductive theorem proving, Gr�bner bases, and program synthesis). It also contains 12 descriptions of implemented equational reasoning systems. Anyone interested in the latest advances in this fast growing area should read this volume.

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

Store Description

Thank You for looking at our books! We invite you to browse our bookstore for the many rare and antique volumes we have listed. Our listed books range the entire spectrum, with Mathematics, Physics, Nuclear Physics, Chemistry, Biochemistry, Aviation, Natural resources, Medicine,Electricity, Electronics, Philosophy, History, Genealogy, childrens books, Textbooks, Journals, and many more. Many of our rare/out-of-print volumes came from the U.S. Air Force Technical Library and are very unique. We strive to provide books to individuals around the world at competitive prices. Customers should know that 10-20% of their total order to include shipping cost goes to ABEbooks in fees and charges, especially on lower price volumes.

Visit Seller's Storefront

Seller's business information

SUNSET BOOKS 2
OH, U.S.A.

Sale & Shipping Terms

Terms of Sale

We guarantee the condition of every book as it's described on the Abebooks web sites. If you're dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn't arrived, you're eligible for a refund within 30 days of the estimated delivery date. If you've changed your mind about a book that you've ordered, please use the Ask bookseller a question link to contact us and we'll respond within 2 business days.

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. We never charge for Handling, Packing or Service, even for Media Mail.