ForMaRE

MaRDI QIDQ20774swMATHFDO

Official website http://link.springer.com/chapter/10.1007%2F978-3-642-39320-4_23

Cited in

(5)

• Arrow Gibbard Satterthwaite
• Stable Matching
• The ForMaRE project -- formal mathematical reasoning in economics
• Towards formal foundations for game theory
• Set theory or higher order logic to represent auction concepts in Isabelle?

This page was built for software: ForMaRE