Isabelle logo

Manuel Eberl

Chair for Logic and Verification

A Formal Proof of the Incompatibility of SD-Efficiency and SD-Strategy-Proofness

by Manuel Eberl

Bachelor's thesis at the Technical University of Munich (2016)

Download PDF (977 KiB)

BibTeX:

@mastersthesis{eberl16,
 author = {Eberl, Manuel},
 title = {A Formal Proof of the Incompatibility of \mathit{SD}-Efficiency and \mathit{SD}-Strategy-Proofness},
 year = {2016},
 month = {7},
 school = {Technical University of Munich},
 type = {Bachelor's thesis},
 note = {\url{https://www21.in.tum.de/~eberlm/pdfs/sds.pdf}}
}

Download BibTeX (329 Bytes)