Christoph Lange

University of Bonn

Regina-Pacis-Weg 3

Postfach 2220

Bonn, D-53012

Germany

SCHOLARLY PAPERS

1

DOWNLOADS

123

SSRN CITATIONS

0

CROSSREF CITATIONS

0

Scholarly Papers (1)

1.

A Formal Proof of Vickrey's Theorem by Blast, Simp, and Rule

University of Birmingham, Department of Economics Working Paper Series No. 14-01
Number of pages: 12 Posted: 09 Jan 2014
Manfred Kerber, Christoph Lange and Colin Rowat
University of Birmingham - School of Computer Science, University of Bonn and University of Birmingham - Department of Economics
Downloads 123 (445,004)

Abstract:

Loading...

formal proof, mechanized reasoning, auction theory