Higher-Order Algebra, Logic, and Term Rewriting:
First International Workshop, Hoa '93, Amsterdam, the Netherlands September 23-24, 1993 Selected Pa

by Jan Heering, Karl Meinke, Bernhard Moller, Tobias Nipkow

ISBN0387582339 / 9780387582337 / 0-387-58233-9
PublisherSpringer Verlag
LanguageEnglish
EditionSoftcover
List price$74.95
Buying Options

Found a mistake in this data?