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 proceeding › Conference contribution

9 Citations (Scopus)

252 Downloads (Pure)

1 results

Finished
Formal Representation and Proof for Cooperative Games: A Foundation for Complex Social Behaviour
Kerber, M. & Rowat, C.
Engineering & Physical Science Research Council
1/05/12 → 30/04/15
Project: Research Councils