Title of article :
A constructive approach to sequential Nash equilibria
Author/Authors :
René Vestergaard، نويسنده ,
Issue Information :
دوهفته نامه با شماره پیاپی سال 2006
Keywords :
Constructivity , Automatic theorem proving , Nash equilibria
Journal title :
Information Processing Letters
Journal title :
Information Processing Letters