by Gilles Dowek (Author), Gilles Dowek (Author), Karl Meinke (Author), Jan Heering (Author), Bernhard M??ller (Author)
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.
Format: Paperback
Pages: 304
Edition: 1996
Publisher: Springer
Published: 13 Jun 2008
ISBN 10: 3540612548
ISBN 13: 9783540612544