Eppendorf

Higher-Order Algebra, Logic, and Term Rewriting : Second International Worksh...

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

Higher-Order Algebra, Logic, and Term Rewriting : Second International Worksh...

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

Recommended

Blow-up for Higher-Order Parabolic, Hyperbolic, Dispersion and Schrodinger Equat
Blow-up for Higher-Order Parabolic, Hyperbolic, Dispersion and Schrodinger Equat

$169.58

View Details
Higher-order Algebra, Logic, and Term Rewriting : First International Worksho...
Higher-order Algebra, Logic, and Term Rewriting : First International Worksho...

$67.83

View Details
Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, H
Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, H

$73.92

View Details
Simple Approach to Algebra and Higher Order Thinking Skills, Paperback by Su,...
Simple Approach to Algebra and Higher Order Thinking Skills, Paperback by Su,...

$99.34

View Details
Mechanizing the Transformation of Higher-Order Algebraic Specifications for the
Mechanizing the Transformation of Higher-Order Algebraic Specifications for the

$81.00

View Details
On the Higher-Order Sheffer Orthogonal Polynomial Sequences, Paperback by Gal...
On the Higher-Order Sheffer Orthogonal Polynomial Sequences, Paperback by Gal...

$68.71

View Details
On the Higher-Order Sheffer Orthogonal Polynomial Sequences, Paperback by Gal...
On the Higher-Order Sheffer Orthogonal Polynomial Sequences, Paperback by Gal...

$68.70

View Details
Simple Approach to Algebra and Higher Order Thinking Skills, Paperback by Su,...
Simple Approach to Algebra and Higher Order Thinking Skills, Paperback by Su,...

$105.75

View Details
Higher Order Partial Differential Equations in Clifford Analysis : Effective ...
Higher Order Partial Differential Equations in Clifford Analysis : Effective ...

$66.83

View Details
Mechanizing the Transformation of Higher-Order Algebraic Specifications for the
Mechanizing the Transformation of Higher-Order Algebraic Specifications for the

$125.64

View Details