An economist's guide to mechanized reasoning or My computer just proved 84 impossibility theorems

Manfred Kerber, Christoph Lange, Colin Rowat

Research output: Contribution to conference (unpublished) › Other

319 Downloads (Pure)

1 results

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