Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, Hoa '95, Paderborn, Germany, September 21-22, 1995: Selected Papers (Lecture Notes in Computer Science)

September

by Logic, and Term Rewriting (2nd : 1995 : Paderborn, Germany) International Workshop on Higher-Order Algebra

Paperback

details (USA).

ISBN: 978-0-387-61254-6

ISBN-10: 0-387-61254-8

Springer Verlag · 1996