Narrow search
Showing 1 - 3 of 3
Cover Image
A formal proof of Vickrey's theorem by blast, simp, and rule
Kerber, Manfred; Lange, Christoph; Rowat, Colin - 2014
Persistent link: https://www.econbiz.de/10010257345
Cover Image
Sound auction specification and implementation
Caminati, Marco B.; Kerber, Manfred; Lange, Christoph; … - 2015
Persistent link: https://www.econbiz.de/10010532999
Cover Image
An introduction to mechanized reasoning
Kerber, Manfred; Lange, Christoph; Rowat, Colin - In: Journal of mathematical economics 66 (2016), pp. 26-39
Persistent link: https://www.econbiz.de/10011665867