Case Studies in Meta-Level Theorem Proving (1998)

Cached

Download Links

by Friedrich W. von Henke , Stephan Pfab , Holger Pfeifer , Harald Rueß
Venue:PROC. INTL. CONF. ON THEOREM PROVING IN HIGHER ORDER LOGICS (TPHOLS), LECTURE
Citations:4 - 1 self