HOA

International Workshop on Higher-Order Algebra, Logic, and Term Rewriting

Search within this conference

Search

1. 1997

   HOA 1997

   • 3-5 September
   • Southhampton, United Kingdom

   • Algebraic and Logic Programming

     18 Papers

     1 Volume

2. 1995

   HOA 1995

   • 21-22 September
   • Paderborn, Germany

   • Higher-Order Algebra, Logic, and Term Rewriting

     15 Papers

     1 Volume

3. 1993

   HOA 1993

   • 23-24 September
   • Amsterdam, The Netherlands

   • Higher-Order Algebra, Logic, and Term Rewriting

     15 Papers

     1 Volume