Deduction Soundness: Prove One, Get Five for Free.

Florian Böhl Véronique Cortier Bogdan Warinschi

Published in: IACR Cryptol. ePrint Arch. (2013)

Keyphrases

special case
theorem proving
database
machine learning
search engine
information systems
multiscale
digital libraries
preprocessing
information technology
probability distribution