Interactive Theorem Proving and Program Development Coq'Art: The Calculus of Inductive Constructions, 2004. ,
An analog of the minimax theorem for vector payoffs, Pacific Journal of Mathematics, vol.6, issue.1, pp.1-8, 1956. ,
DOI : 10.2140/pjm.1956.6.1
Game theoretic analysis of a bankruptcy problem from the Talmud, Journal of Economic Theory, vol.36, issue.2, pp.195-213, 1985. ,
DOI : 10.1016/0022-0531(85)90102-4
On Pareto equilibria in vector-valued extensive form games, Mathematical Methods of Operations Research (ZOR), vol.58, issue.3, pp.449-458, 2003. ,
DOI : 10.1007/s001860300305
Extensive games and the problem of information, Contributions to the Theory of Games II, 1953. ,
Non-determinism and Nash equilibria for sequential game over partial order, Proceedings Computational Logic and Applications, CLA '05. Discrete Mathematics and Theoretical Computer Science Proceedings, 2006. ,
Acyclicity and finite linear extendability: a formal and constructive equivalence, 2007. ,
A discrete Nash theorem with quadratic complexity and dynamic equilibria. Research report IS-RR, 2006. ,
A Course in Game Theory, 1994. ,
Equilibrium points in n-person games, Proceedings of the National Academy of Sciences, vol.8, issue.1, pp.48-49, 1950. ,
DOI : 10.1073/pnas.36.1.48
Theory of Games and Economic Behavior, 1944. ,
Spieltheoretische Behandlung eines Oligopolmodells mit Nachfrageträgheit . Zeitschrift für die desamte Staatswissenschaft, 1965. ,
Reexamination of the perfectness concept for equilibrium points in extensive games, International Journal of Game Theory, vol.2, issue.1, 1975. ,
DOI : 10.1007/BF01766400
A behavioral model of rational choice, The Quarterly Journal of Economics, vol.69, issue.1, pp.99-118, 1955. ,
A constructive approach to sequential Nash equilibria, Information Processing Letters, vol.97, issue.2, pp.46-51, 2006. ,
DOI : 10.1016/j.ipl.2005.09.010