KIT | KIT-Bibliothek | Impressum | Datenschutz
Originalveröffentlichung
DOI: 10.1007/978-3-642-38574-2_9
Scopus
Zitationen: 3

Analysing Vote Counting Algorithms Via Logic. And its Application to the CADE Election System

Beckert, Bernhard; Goré, Rajeev; Schürmann, Carsten



Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Proceedingsbeitrag
Jahr 2013
Sprache Englisch
Identifikator ISBN: 978-3-642-38573-5
KITopen ID: 1000069628
HGF-Programm 46.12.03; LK 01
Erschienen in Proceedings, 24th International Conference on Automated Deduction (CADE), Lake Placid, NY, USA Hrsg.: Maria Paola Bonacina
Verlag Springer, Berlin
Seiten 135-144
Serie Lecture notes in computer science ; : Lecture notes in artificial intelligence ; 7898
Projektinformation KASTEL I (BMBF, 01BY1172 / 16BY1172)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page