Items related to Higher-Order Algebra, Logic, and Term Rewriting: Second...

Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers: 1074 (Lecture Notes in Computer Science, 1074) - Softcover

 
9783540612544: Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers: 1074 (Lecture Notes in Computer Science, 1074)

Synopsis

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.

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

Other Popular Editions of the Same Title

9780387612546: Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, Hoa '95, Paderborn, Germany, September 21-22, 1995 : Selected Papers (Lecture Notes in Computer Science)

Featured Edition

ISBN 10:  0387612548 ISBN 13:  9780387612546
Publisher: Springer Nature, 1996
Softcover

Search results for Higher-Order Algebra, Logic, and Term Rewriting: Second...

Stock Image

Published by Springer, 1996
ISBN 10: 3540612548 ISBN 13: 9783540612544
New Softcover

Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Seller Inventory # ABNR-86645

Contact seller

Buy New

£ 39.70
Convert currency
Shipping: FREE
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

0
Published by Springer, 1996
ISBN 10: 3540612548 ISBN 13: 9783540612544
New Softcover

Seller: Basi6 International, Irving, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEOCT25-241719

Contact seller

Buy New

£ 39.70
Convert currency
Shipping: FREE
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Seller Image

Dowek, Gilles (EDT); International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (2nd : 1995 : Paderborn, Germany) (COR); Meinke, Karl (EDT); Moller, Bernhard (EDT)
Published by Springer, 1996
ISBN 10: 3540612548 ISBN 13: 9783540612544
New Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # 5905724-n

Contact seller

Buy New

£ 45.45
Convert currency
Shipping: £ 1.96
Within U.S.A.
Destination, rates & speeds

Quantity: 15 available

Add to basket

Stock Image

Published by Springer, 1996
ISBN 10: 3540612548 ISBN 13: 9783540612544
New Softcover

Seller: ALLBOOKS1, Direk, SA, Australia

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address. Seller Inventory # SHUB268100

Contact seller

Buy New

£ 47.47
Convert currency
Shipping: FREE
From Australia to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Published by Springer, 1996
ISBN 10: 3540612548 ISBN 13: 9783540612544
Used Softcover

Seller: Books Puddle, New York, NY, U.S.A.

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Condition: Used. pp. 304. Seller Inventory # 263071951

Contact seller

Buy Used

£ 45.35
Convert currency
Shipping: £ 2.96
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Published by Springer, 1996
ISBN 10: 3540612548 ISBN 13: 9783540612544
New Softcover

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # ABLIING23Mar3113020172233

Contact seller

Buy New

£ 45.50
Convert currency
Shipping: £ 2.96
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Published by Springer, 1996
ISBN 10: 3540612548 ISBN 13: 9783540612544
New Softcover

Seller: Best Price, Torrance, CA, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. SUPER FAST SHIPPING. Seller Inventory # 9783540612544

Contact seller

Buy New

£ 42.02
Convert currency
Shipping: £ 6.66
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Published by Springer, 1996
ISBN 10: 3540612548 ISBN 13: 9783540612544
Used Softcover

Seller: Majestic Books, Hounslow, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: Used. pp. 304 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Seller Inventory # 5857296

Contact seller

Buy Used

£ 45.57
Convert currency
Shipping: £ 6.50
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Gilles Dowek
ISBN 10: 3540612548 ISBN 13: 9783540612544
New Paperback

Seller: Grand Eagle Retail, Mason, OH, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback. Condition: new. Paperback. 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. Presenting 14 papers from the Second International Workshop on Higher-Order Algebra, Logic and Term-Rewriting, this work reports on the state of the art, addressing relevant theoretical aspects and discussing existing proof systems and term rewriting systems. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9783540612544

Contact seller

Buy New

£ 53.86
Convert currency
Shipping: FREE
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Seller Image

Dowek, Gilles (EDT); International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (2nd : 1995 : Paderborn, Germany) (COR); Meinke, Karl (EDT); Moller, Bernhard (EDT)
Published by Springer, 1996
ISBN 10: 3540612548 ISBN 13: 9783540612544
Used Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: As New. Unread book in perfect condition. Seller Inventory # 5905724

Contact seller

Buy Used

£ 53.09
Convert currency
Shipping: £ 1.96
Within U.S.A.
Destination, rates & speeds

Quantity: 15 available

Add to basket

There are 10 more copies of this book

View all search results for this book