HUG

HOL Users' Group Workshop

Search within this conference

Search

1. 1994

   HUG 1994

   • 19-22 September
   • Valletta, Malta

   • Higher Order Logic Theorem Proving and Its Applications

     30 Papers

     1 Volume

2. 1993

   HUG 1993

   • 11-13 August
   • Vancouver, Canada

   • Higher Order Logic Theorem Proving and Its Applications

     40 Papers

     1 Volume