Higher-Order Algebra, Logic, and Term Rewriting
Subtitle: First International Workshop, Hoa '93, Amsterdam, the Netherlands September 23-24, 1993 Selected Pa (Lecture Notes in Computer Science)
Contributors: Tobias Nipkow (Editor)
Publisher: Springer
Published: July 1994
Language: eng
Number of pages: 351
ISBN-13: 9780387582337