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