An Introduction to Voting Rule Verification

Bernhard Beckert, Thorsten Bormer, Rajeev Gore, Michael Kirsten, Carsten Schürmann

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review

Originalsprog	Engelsk
Titel	Trends in Computational Social Choice
Antal sider	20
Forlag	AI Access
Publikationsdato	2017
Sider	269-289
Kapitel	14
ISBN (Trykt)	978-1-326-91209-3
Status	Udgivet - 2017

Adgang til dokumentet

@inbook{c9fbc460dc7549c186bb581e5facce78,

title = "An Introduction to Voting Rule Verification",

author = "Bernhard Beckert and Thorsten Bormer and Rajeev Gore and Michael Kirsten and Carsten Sch{\"u}rmann",

year = "2017",

language = "English",

isbn = "978-1-326-91209-3",

pages = "269--289",

booktitle = "Trends in Computational Social Choice",

publisher = "AI Access",

}