Pages that link to "Item:Q3601792"
From MaRDI portal
The following pages link to Abstracting and Verifying Strategy-Proofness for Auction Mechanisms (Q3601792):
Displaying 4 items.
- An introduction to mechanized reasoning (Q504394) (← links)
- Strictly strategy-proof auctions (Q2203494) (← links)
- Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol (Q2225593) (← links)
- A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory (Q2843015) (← links)