Higher-Order Algebra, Logic and Term Rewriting (HOA)

3. HOA / 6. ALP 1997: Southampton, U.K.

2. HOA 1995: Paderborn, Germany

1. HOA 1993: Amsterdam, The Netherlands

maintained by Schloss Dagstuhl LZI at University of Trier