Mechanical Reasoning on Infinite Extensive Games

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.
Type de document :
Pré-publication, Document de travail
LIP (UMR5668) RR2008-16. 11 p. 2008
Liste complète des métadonnées

Littérature citée [16 références]  Voir  Masquer  Télécharger

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

Fichiers

infinite_games.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : ensl-00278405, version 4
  • ARXIV : 0805.1798

Collections

Citation

Pierre Lescanne. Mechanical Reasoning on Infinite Extensive Games. LIP (UMR5668) RR2008-16. 11 p. 2008. 〈ensl-00278405v4〉

Partager

Métriques

Consultations de la notice

196

Téléchargements de fichiers

83