TY  - BOOK
A2  - Heering, Jan
A2  - Meinke, Karl
A2  - Möller, Bernhard
A2  - Nipkow, Tobias
T1  - Higher order algebra, logic, and term rewriting: first International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993; selected papers
Y1  - 1994
UR  - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/20643
SN  - 978-3-540-58233-5
PB  - Springer
CY  - Berlin u.a.
ER  -