ForMaRE

swMATH8774MaRDI QIDQ20774FDOQ20774

Author name not available (Why is that?)

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

Cited In (5)

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

This page was built for software: ForMaRE