Nominal Techniques in Isabelle/HOL.

Christian Urban

Published in: J. Autom. Reason. (2008)

Keyphrases

theorem prover
natural deduction
inference rules
higher order logic
theorem proving
first order logic
sequent calculus
cut elimination
information extraction
knowledge acquisition
real world
hidden markov models
high dimensional
bayesian networks
formal methods
feature selection
artificial intelligence