Higher-Order Algebra, Logic, and Term Rewriting | Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers

Gilles Dowek (u. a.)

ISBN 10: 3540612548 / ISBN 13: 9783540612544

Published by Springer, 1996

About this Item

Higher-Order Algebra, Logic, and Term Rewriting | Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers | Gilles Dowek (u. a.) | Taschenbuch | viii | Englisch | 1996 | Springer | EAN 9783540612544 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Seller Inventory # 101670297

Bibliographic Details

• Title: Higher-Order Algebra, Logic, and Term Rewriting | Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers
• Publisher: Springer
• Publication Date: 1996
• Language: English
• ISBN 10: 3540612548
• ISBN 13: 9783540612544
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 235W x 155H x 17D millimeters 235 millimeters width by 155 millimeters height by 17 millimeters depth
• Weight: 464 grams
• Seller catalogs:
  • Bücher

About this title

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.