Completeness Theorems with Constructive Proofs for Finite Deterministic 2-Party Functions.

Daniel Kraschewski Jörn Müller-Quade

Published in: TCC (2011)

Keyphrases

equational theories
formal proofs
randomized algorithms
theorem proving
multi party
linear functions
data quality
databases
social networks
data structure
black box
theorem prover
cut elimination