Adding External Decision Procedures to HOL90 Securely.

Published in: TPHOLs (1998)

Keyphrases

decision procedures
theorem proving
automated reasoning
theorem prover
modal logic
reasoning problems
conjunctive queries
first order logic
inference rules
tight complexity bounds
natural deduction
quantified boolean formulas
formal methods
special case
query containment
machine learning
data mining
database