(1994). Higher-order algebra, logic, and term rewriting: First international workshop, HOA '93, Amsterdam The Netherlands, September 23-24, 1993 : selected papers / Jan Heering [and others], eds.
Chicago-Zitierstil (17. Ausg.)Higher-order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam The Netherlands, September 23-24, 1993 : Selected Papers / Jan Heering [and Others], Eds. 1994.
MLA-Zitierstil (9. Ausg.)Higher-order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam The Netherlands, September 23-24, 1993 : Selected Papers / Jan Heering [and Others], Eds. 1994.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.