Proving Existential Theorems when Importing Results from MDG to HOL (2001)
by
Haiyan Xiong
,
Paul Curzon
,
Sofiène Tahar
,
Ann Blandford
| Venue: | TPHOLS 2001 SUPPLEMENTAL PROCEEDINGS, INFORMATIC RESEARCH REPORT EDI-INF-RR-0046 |
| Citations: | 4 - 3 self |
Document Versions
| Proving existential theorems when importing results from MDG to HOL –Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford — 2001 — TPHOLS 2001 SUPPLEMENTAL PROCEEDINGS, INFORMATIC RESEARCH REPORT EDI-INF-RR-0046 |
| Proving Existential Theorems when Importing Results from MDG to HOL –Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford — 2001 — TPHOLS 2001 SUPPLEMENTAL PROCEEDINGS, INFORMATIC RESEARCH REPORT EDI-INF-RR-0046 |
