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 (160.77 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 : mercredi 28 mai 2008-15:47:46

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

Archivage à long terme le : vendredi 24 septembre 2010-10:21:21

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

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENS-LYON CNRS INRIA UNIV-LYON1 LIP LIP_PLUME UDL
243 Consultations
224 Téléchargements

Altmetric

Partager

More