A formal proof of Vickrey's theorem by blast, simp, and rule
Manfred Kerber; Christoph Lange; Colin Rowat
| Year of publication: |
2014
|
|---|---|
| Authors: | Kerber, Manfred ; Lange, Christoph ; Rowat, Colin |
| Publisher: |
Birmingham : Dep. of Economics, Univ. of Birmingham |
| Subject: | formal proof | mechanized reasoning | auction theory | Auktionstheorie | Auction theory | Spieltheorie | Game theory |
| Extent: | Online-Ressource (12 S.) graph. Darst. |
|---|---|
| Series: | Discussion papers / Department of Economics, The University of Birmingham. - Cambridge : [Verlag nicht ermittelbar], ZDB-ID 2272551-9. - Vol. 14-01 |
| Type of publication: | Book / Working Paper |
| Type of publication (narrower categories): | Arbeitspapier ; Working Paper ; Graue Literatur ; Non-commercial literature |
| Language: | English |
| Notes: | Systemvoraussetzungen: Acrobat Reader |
| Source: | ECONIS - Online Catalogue of the ZBW |
Persistent link: https://www.econbiz.de/10010257345