Fingerprint
Dive into the research topics of 'A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Christoph Lange, Marco Caminati, Manfred Kerber, Till Mossakowski, Colin Rowat, Makarius Wenzel, Wolfgang Windsteiger
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution