Stateless HOL

Published in: TYPES (2009)

Keyphrases

theorem prover
natural deduction
formal methods
higher order logic
theorem proving
case study
data mining
high level
query language
pairwise
probabilistic model
inference rules