Christoph Lange

University of Bonn

Regina-Pacis-Weg 3

Postfach 2220

Bonn, D-53012

Germany

SCHOLARLY PAPERS

1

DOWNLOADS

81

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 81 (299,056)

Abstract:

Loading...

formal proof, mechanized reasoning, auction theory