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)

Netherlands

by: Jan Heering · Karl Meinke · Bernhard Moller

Paperback

ISBN: 978-0-387-58233-7

ISBN-10: 0-387-58233-9

Springer Verlag · 1994