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
New
Taschenbuch
From
preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
AbeBooks Seller since August 5, 2024
This specific item is no longer available.
About this Item
Description:
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 Print on Demand. Seller Inventory # 101670297
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.
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Higher-Order Algebra, Logic, and Term ...
Publisher: Springer
Publication Date: 1996
Binding: Taschenbuch
Condition: Neu