ISBN 9783540582335 books & textbook
Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers (Lecture Notes in Computer Science, 816)
Heering, Jan Meinke, Karl Möller, Bernhard Nipkow, Tobias
Springer /1994-07-28 Paperback / 360 Pages
isbn-10: 3540582339 / isbn-13: 9783540582335
