Login / Signup
Completeness Theorems with Constructive Proofs for Finite Deterministic 2-Party Functions (full version).
Daniel Kraschewski
Jörn Müller-Quade
Published in:
IACR Cryptol. ePrint Arch. (2010)
Keyphrases
</>
equational theories
formal proofs
artificial intelligence
theorem proving
data sets
neural network
real time
information retrieval
website
bayesian networks
black box
theorem prover
proof search