(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

Pierre Lescanne
Laboratoire de l'Informatique du Parallélisme
CV

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.

Domaines

Logique en informatique [cs.LO] Informatique et théorie des jeux [cs.GT]
Fichier principal
Vignette du fichier
infinite_games.pdf (158.28 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Pierre Lescanne  : Connectez-vous pour contacter le contributeur

https://ens-lyon.hal.science/ensl-00278405

Soumis le : mardi 20 mai 2008-08:07:14

Dernière modification le : mardi 12 novembre 2024-15:20:06

Archivage à long terme le : mardi 21 septembre 2010-16:58:32

Télécharger pour visualiser

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-00278405v2⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite
243 Consultations
224 Téléchargements

Altmetric

Partager

More