A New Interface for HOL - Ideas, Issues and Implementation (1995)

Cached

Download Links

by Donald Syme
Venue:in Higher Order Logic: Theorem Proving and its Applications, LNCS 971
Citations:23 - 2 self