(Mechanical) Reasoning on Infinite Extensive Games - ENS de Lyon - École normale supérieure de Lyon Accéder directement au contenu
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 : jeudi 11 mai 2023-11:56:10

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
203 Consultations
174 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More