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), Bernhard M??ller (Author), Jan Heering (Author), Karl Meinke (Author)

• New

  Paperback
  2008

  $74.43

  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.