(Mechanical) Reasoning on Infinite Extensive Games - ENS de Lyon - École normale supérieure de Lyon
Pré-Publication, Document De Travail Année : 2008

(Mechanical) Reasoning on Infinite Extensive Games

Résumé

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.
Fichier principal
Vignette du fichier
infinite_games.pdf (157.78 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

ensl-00278405 , version 1 (13-05-2008)
ensl-00278405 , version 2 (20-05-2008)
ensl-00278405 , version 3 (22-05-2008)
ensl-00278405 , version 4 (28-05-2008)

Identifiants

Citer

Pierre Lescanne. (Mechanical) Reasoning on Infinite Extensive Games. 2008. ⟨ensl-00278405v1⟩
243 Consultations
224 Téléchargements

Altmetric

Partager

More