External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Analysing Vote Counting Algorithms via Logic - And Its Application to the CADE Election Scheme

Bernhard Beckert, Rajeev Goré, Carsten Schürmann. Analysing Vote Counting Algorithms via Logic - And Its Application to the CADE Election Scheme. In Maria Paola Bonacina, editor, Automated Deduction - CADE-24 - 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings. Volume 7898 of Lecture Notes in Computer Science, pages 135-144, Springer, 2013. [doi]

Authors

Bernhard Beckert

This author has not been identified. Look up 'Bernhard Beckert' in Google

Rajeev Goré

This author has not been identified. Look up 'Rajeev Goré' in Google

Carsten Schürmann

This author has not been identified. Look up 'Carsten Schürmann' in Google
runs on