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.

Verified Construction of Fair Voting Rules

Karsten Diekhoff, Michael Kirsten, Jonas Krämer. Verified Construction of Fair Voting Rules. In Maurizio Gabbrielli, editor, Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019, Revised Selected Papers. Volume 12042 of Lecture Notes in Computer Science, pages 90-104, Springer, 2019. [doi]

Authors

Karsten Diekhoff

This author has not been identified. Look up 'Karsten Diekhoff' in Google

Michael Kirsten

This author has not been identified. Look up 'Michael Kirsten' in Google

Jonas Krämer

This author has not been identified. Look up 'Jonas Krämer' in Google
runs on