Nominal Techniques in Isabelle/HOL.

Christian Urban Christine Tasson

Published in: CADE (2005)

Keyphrases

theorem prover
natural deduction
inference rules
theorem proving
first order logic
higher order logic
cut elimination
genetic algorithm
sequent calculus
dynamic programming
multi class
databases
preprocessing
search algorithm
data structure
linear logic
data mining