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

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

by Gilles Dowek (Author), Gilles Dowek (Author), Karl Meinke (Author), Jan Heering (Author), Bernhard M??ller (Author)

Synopsis

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.

$73.62

Save:$5.38 (7%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 304
Edition: 1996
Publisher: Springer
Published: 13 Jun 2008

ISBN 10: 3540612548
ISBN 13: 9783540612544