Higher-order Annotated Terms for Proof Search (1996)

Cached

Download Links

by Alan Smaill , Ian Green
Venue:THEOREM PROVING IN HIGHER ORDER LOGICS: 9TH INTERNATIONAL CONFERENCE, TPHOLS’96
Citations:20 - 3 self