Inductive Proofs of Computational Secrecy.

Arnab Roy Anupam Datta Ante Derek John C. Mitchell

Published in: ESORICS (2007)

Keyphrases

inductive learning
data sets
machine learning
theorem proving
mathematical proofs
inductive logic programming
theorem prover
mathematical programming
decision procedures
natural deduction
inductive reasoning