The HOL System LOGIC Preface (2010)

Cached

Download Links

by Unknown Authors

Active Bibliography

The HOL System LOGIC Preface – unknown authors - 2009
The HOL System LOGIC Preface – unknown authors - 2012
The HOL System DESCRIPTION Preface – unknown authors - 2010
The HOL System DESCRIPTION Preface – unknown authors - 2011
The HOL System DESCRIPTION Preface – unknown authors - 2012
The HOL System DESCRIPTION Preface – unknown authors - 2009
Formalizing abstraction mechanisms . . . – Thomas Frederick Melham - 1990
1 HOL Light Tutorial (for version 2.20). http://www.cl.cam.ac.uk/ jrh13/hol-light/tutorial 220.pdf – John Harrison
9 HOL Light Tutorial (for version 2.20 – John Harrison - 2006
24 From LCF to HOL: a short history – Mike Gordon - 2000
3 HOL98 Draft User's Manual - Athabasca Release - Version 2 – Konrad Slind - 1999
16 Towards Self-verification of HOL Light – John Harrison - 2006
38 Experience with embedding hardware description languages in HOL – Richard Boulton, Andrew Gordon, Mike Gordon, John Harrison, John Herbert, John Van Tassel - 1992
153 Higher-order logic programming – Gopalan Nadathur, Dale Miller
Lambda-Calculus and Functional Programming – Jonathan P. Seldin
69 HOL Light: A tutorial introduction – John Harrison - 1996
19 Using Recursive Types to Reason about Hardware in Higher Order Logic – Thomas Melham - 1988
15 Extending Sledgehammer with SMT Solvers – Jasmin Christian Blanchette, Sascha Böhme, Lawrence C. Paulson
The HOL System DESCRIPTION Preface – unknown authors - 2004