An Introduction to Voting Rule Verification
- Bernhard Beckert,
- Thorsten Bormer,
- Rajeev Gore,
- Michael Kirsten,
- Karlsruhe Institute of Technology
Research Output:
Conference Article in Proceeding or Book/Report chapter
Book chapter
Peer-reviewOpen access
Publication Information
Output type
Research Output:
Conference Article in Proceeding or Book/Report chapter
Book chapter
Peer-reviewOriginal language
EnglishPages from-to (Number of pages)
Pages 269-289 (20 pages)Publication milestones
- Published - 2017
Publication status
Published - 2017
Publisher
AI AccessISBN (Print)
978-1-326-91209-3Chapter Number
14Host publication title
Trends in Computational Social ChoiceAccess to documents
Final published version, 355.5 KB
