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.
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00278405
Contributeur : Pierre Lescanne
<>
Soumis le : mercredi 28 mai 2008 - 15:47:46
Dernière modification le : mardi 24 avril 2018 - 13:52:28
Document(s) archivé(s) le : vendredi 24 septembre 2010 - 10:21:21
