Skip to content

Peer reviewed Publications on Mechanised Reasoning in Economics (plus Code)

Jump to bottom
Christoph Lange edited this page Oct 25, 2013 · 2 revisions
  • Tang & Lin: Discovering theorems in game theory: two-person games with unique pure Nash equilibrium payoffs
Clone this wiki locally