Formalising “100”' Theorems/Models/Theories in Economics

Christoph Lange
, Colin Rowat
, Manfred Kerber

Research output: Non-textual form › Web publication/site

Original language	English
Media of output	Online
Publication status	Published - 27 Sept 2012

Access to Document

https://github.com/formare/community/wiki/Formalising-%E2%80%9C100%E2%80%9D-Theorems-Models-Theories-in-Economics

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

Cite this