Analysing Vote Counting Algorithms via Logic And Its Application to the CADE Election System
Citation
Beckert, B, Gore, R & Schurmann, C 2013, 'Analysing Vote Counting Algorithms via Logic And Its Application to the CADE Election Scheme', 24th International Conference on Automated Deduction CADE-24, ed. Maria Paola Bonacina, Springer, LNCS 7898 pp. 135-144.Year
2013ANU Authors
Field of Research
- Computational Logic And Formal Languages