Analysing Vote Counting Algorithms Via Logic
- ,
- Bernhard Beckert,
- Rajeev Gore
Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
Peer-review
Open access
Publication Information
Output type
Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
Peer-reviewOriginal language
EnglishPublication milestones
- Published - 2013
Publication status
Published - 2013
Publisher
Springer, United States, GermanyBook series
- Book series name: Lecture Notes in Computer Science
Volume: 7985
ISSN: 0302-9743
ISBN (Print)
978-3-642-39184-2Publication IDs
- Scopus: 84879962688
Host publication title
Proceedings of the fourth Conference on E-Voting and Identity (VOTEID'13)Publication metrics
PlumX
Captures
2
Citations
6