A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory

Christoph Lange, Marco Caminati, Manfred Kerber, Till Mossakowski, Colin Rowat, Makarius Wenzel, Wolfgang Windsteiger

Research output: Chapter in Book/Report/Conference proceedingConference contribution

9 Citations (Scopus)
248 Downloads (Pure)

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.