17 results on '"John Harrison"'
Search Results
2. HOL Light: An Overview.
3. Verifying Nonlinear Real Formulas Via Sums of Squares.
4. A HOL Theory of Euclidean Space.
5. Formal Verification of IA-64 Division Algorithms.
6. A Machine-Checked Theory of Floating Point Arithmetic.
7. Formalizing Dijkstra.
8. Formalizing Basic First Order Model Theory.
9. Verifying the Accuracy of Polynomial Approximations in HOL.
10. A Mizar Mode for HOL.
11. Stålmarck's Algorithm as a HOL Derived Rule.
12. Floating Point Verification in HOL.
13. Inductive Definitions: Automation and Application.
14. Binary Decision Diagrams as a HOL Derived Rule.
15. Constructing the real numbers in HOL.
16. Theorem Proving in Higher Order Logics, 13th International Conference, TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, Proceedings
17. Theorem Proving in Higher Order Logics, 9th International Conference, TPHOLs'96, Turku, Finland, August 26-30, 1996, Proceedings
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.