C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Machine-Checked Reasoning About Complex Voting Schemes Using Higher-Order Logic.
Jeremy E. Dawson
Rajeev Goré
Thomas Meumann
Published in:
VoteID (2015)
Keyphrases
</>
voting schemes
higher order logic
higher order
data sets
theorem prover
logical framework