Title: Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, Hoa '95, Paderborn, Germany, September 21-22, 1995
Subjects: Congresses, Rewriting systems (Computer science), Symbolic and mathematical Logic, Algebra, Logic, symbolic and mathematical