Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, Hoa '93, Amsterdam, the Netherlands September 23-24, 1993 Selected Pa (Lecture Notes in Computer Science)
by Jan Heering, Karl Meinke, Bernhard Moller
ISBN 9780387582337 (978-0-387-58233-7)
Softcover, Springer Verlag, 1994
Find This Book
› Find signed collectible books: 'Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, Hoa '93, Amsterdam, the Netherlands September 23-24, 1993 Selected Pa (Lecture Notes in Computer Science)'