Description: Higher-Order Algebra, Logic, and Term Rewriting : Second International Workshop, Hoa '95, Paderborn, Germany, September 21-22, 1995 : Selected Papers, Paperback by Dowek, Gilles (EDT); International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (2nd : 1995 : Paderborn, Germany) (COR); Meinke, Karl (EDT); Moller, Bernhard (EDT), ISBN 3540612548, ISBN-13 9783540612544, Like New Used, Free shipping in the US 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.
Price: 67.45 USD
Location: Jessup, Maryland
End Time: 2025-01-16T12:17:32.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 14 Days
Refund will be given as: Money Back
Return policy details:
Book Title: Higher-Order Algebra, Logic, and Term Rewriting : Second Internat
Number of Pages: VIII, 296 Pages
Publication Name: Higher-Order Algebra, Logic, and Term Rewriting : Selected Papers of the Second International Workshop, Hoa '95, Paderborn, Germany, September 21-22, 1995
Language: English
Publisher: Springer Berlin / Heidelberg
Subject: Computer Science, Algebra / General, Logic
Publication Year: 1996
Item Weight: 33.5 Oz
Type: Textbook
Item Length: 9.3 in
Author: Karl Meinke
Subject Area: Mathematics, Computers
Item Width: 6.1 in
Series: Lecture Notes in Computer Science Ser.
Format: Trade Paperback
