 |
 |
 |
 |
Mechanical Reasoning on Infinite Extensive Games
Abstract : In order to better understand reasoning involved in analyzing infinite games in extensive form, we performed experiments in the proof assistant Coq that are reported here.
Cited literature [16 references]
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00278405
Contributor : Pierre Lescanne <>
Submitted on : Wednesday, May 28, 2008 - 3:47:46 PM
Last modification on : Wednesday, November 20, 2019 - 3:10:39 AM
Document(s) archivé(s) le : Friday, September 24, 2010 - 10:21:21 AM
Contributor : Pierre Lescanne <>
Submitted on : Wednesday, May 28, 2008 - 3:47:46 PM
Last modification on : Wednesday, November 20, 2019 - 3:10:39 AM
Document(s) archivé(s) le : Friday, September 24, 2010 - 10:21:21 AM
Files
infinite_games.pdf
Files produced by the author(s)
