Login / Signup
A Commitment-Consistent Proof of a Shuffle.
Douglas Wikström
Published in:
ACISP (2009)
Keyphrases
</>
theorem prover
consistency constraints
data sets
real time
databases
database systems
proof planning
interactive theorem proving