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