The following pages link to Colin Rowat (Q392660):
Displayed 13 items.
- Efficient sets are small (Q392661) (← links)
- An introduction to mechanized reasoning (Q504394) (← links)
- Optimal voting rules for two-member tenure committees (Q622586) (← links)
- A Ramsey bound on stable sets in Jordan pillage games (Q637574) (← links)
- The commons with capital markets (Q873896) (← links)
- Pillage games with multiple stable sets (Q891340) (← links)
- Non-linear strategies in a linear quadratic differential game (Q1027413) (← links)
- Sufficient conditions for unique stable sets in three agent pillage games (Q2453830) (← links)
- A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory (Q2843015) (← links)
- The ForMaRE Project – Formal Mathematical Reasoning in Economics (Q2843033) (← links)
- Using Theorema in the Formalization of Theoretical Economics (Q5200108) (← links)
- Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle? (Q5495927) (← links)
- Asymmetric majority pillage games (Q6183348) (← links)