A constructive approach to sequential Nash equilibria
type: Item
instance of: scholarly article
title: A constructive approach to sequential Nash equilibria
zbMATH Open document ID: 1179.91025
author: René Vestergaard
published in: Information Processing Letters
publication date: 2009-12-18T00:00:00Z
Mathematics Subject Classification ID: 91A10
Mathematics Subject Classification ID: 91A20
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 91-08
zbMATH DE Number: 5650170
zbMATH Keywords: Nash equilibria
zbMATH Keywords: automatic theorem proving
zbMATH Keywords: constructivity
describes a project that uses: Coq
MaRDI profile type: Publication
full work available at URL: j.ipl.2005.09.010
OpenAlex ID: W2167653210
cites work: Handbook of game theory with economic applications. Vol. 3
cites work: Q4369408
cites work: Q5583591
cites work: Q4801925
cites work: Q4822942
cites work: Equilibrium points in n -person games
cites work: Non-cooperative games
cites work: Q5844986
cites work: Reexamination of the perfectness concept for equilibrium points in extensive games
DOI: 10.1016/J.IPL.2005.09.010
Recommended article: A Refinement of Sequential Equilibrium
Recommended article: Q3624005
Recommended article: Acyclic Preferences and Existence of Sequential Nash Equilibria: A Formal and Constructive Equivalence
Recommended article: Sequential Stackelberg equilibria in two-person games
Recommended article: Constructive proof of the existence of Nash equilibrium in a finite strategic game with sequentially locally nonconstant payoff functions
Recommended article: Computation of Stackelberg Equilibria of Finite Sequential Games
Recommended article: Sequential Equilibria
Recommended article: Q3576001
Recommended article: Equilibria in sequential bargaining games as solutions to systems of equations
Recommended article: Q6114086
description: scientific article; zbMATH DE number 5650170