HOLCF=HOL+LCF.

Olaf Müller Tobias Nipkow David von Oheimb Oscar Slotosch

Published in: J. Funct. Program. (1999)

Keyphrases

theorem prover
formal methods
natural deduction
higher order logic
higher order
theorem proving
training data
decision trees
high level
knowledge acquisition
first order logic
inference rules
case study
sufficient conditions
logical framework