Pages that link to "Item:Q1045892"
From MaRDI portal
The following pages link to A constructive approach to sequential Nash equilibria (Q1045892):
Displayed 5 items.
- On the use (and abuse) of logic in game theory (Q266655) (← links)
- Recycling proof patterns in Coq: case studies (Q475385) (← links)
- ``Backward'' coinduction, Nash equilibrium and the rationality of escalation (Q715039) (← links)
- Formalizing the Cox-Ross-Rubinstein pricing of European derivatives in Isabelle/HOL (Q1984795) (← links)
- Acyclic Preferences and Existence of Sequential Nash Equilibria: A Formal and Constructive Equivalence (Q3183536) (← links)