Pages that link to "Item:Q3183536"
From MaRDI portal
The following pages link to Acyclic Preferences and Existence of Sequential Nash Equilibria: A Formal and Constructive Equivalence (Q3183536):
Displaying 6 items.
- Recycling proof patterns in Coq: case studies (Q475385) (← links)
- A semi-potential for finite and infinite games in extensive form (Q2175356) (← links)
- Equilibria in multi-player multi-outcome infinite sequential games (Q2225601) (← links)
- Proof mining with dependent types (Q2364689) (← links)
- (Q3384162) (← links)
- (Q5015282) (← links)
