Integrating A First-order Automatic prover In The HOL Environment

Author

Kumar, Ramayya ; Kropf, Thomas ; Schneider, Klaus

Author_Institution

University of Karlsruhe

fYear

1991

fDate

28-30 Aug. 1991

Firstpage

170

Lastpage

176

Keywords

Automation; Calculus; Circuits; Fault tolerance; Hardware; Libraries; Logic; Visualization;

fLanguage

English

Publisher

ieee

Conference_Titel

HOL Theorem Proving System and Its Applications, 1991., International Workshop on the

Conference_Location

Davis, CA, USA

Print_ISBN

0-8186-2460-4

Type

DOI

10.1109/HOL.1991.596284

Filename

596284

Link To Document