Proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics

Authors:
Joakim von Wright;Jim Grundy;John Harrison
Affiliations:
-;-;-
Venue:
TPHOLs '96 Proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics
Year:
1996

Floating Point Verification in HOL Light: The Exponential Function

Formal Methods in System Design
On the Implementation of an Extensible Declarative Proof Language

TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
VSDITLU: a verifiable symbolic definite integral table look-up

CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
Classical type theory

Handbook of automated reasoning

Hi-index	0.00