Linking other theorem provers to HOL using PM: Proof Manager

IFIP Transactions A: Computer Science and Technology

Volumn , Issue A-20, 1993, Pages 539-548

  Archer, Myla ^a   Fink, George ^a   Yang, Lie ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; FORMAL LOGIC; INTERFACES (COMPUTER); PROGRAM TRANSLATORS; UTILITY PROGRAMS;

HIGHER ORDER LOGIC (HOL); MULTIPLE PROVER INTERFACE; PROOF MANAGER; THEOREM PROVERS; TRANSLATION ALGORITHMS;

THEOREM PROVING;

EID: 0027718325     PISSN: 09265473     EISSN: None     Source Type: Book    
DOI: None     Document Type: Book

References (15)