Formal Representation and Proof for Cooperative Games: A Foundation for Complex Social Behaviour

Research output

Research output per year 2012 2013 2015

• 5 Conference contribution
• 3 Article
• 2 Web publication/site
• 1 Other
• 3 More
  • 1 Paper
  • 1 Software
  • 1 Other contribution

Research output per year

Research output per year

Search results

• 2013

  ForMaRE: Formal Mathematical Reasoning in Economics

  Kerber, M., Lange, C. & Rowat, C., 12 Apr 2013.

  Research output: Contribution to conference (unpublished) › Paper

  Open Access

  File
  121 Downloads (Pure)