Mechanical Reasoning on Infinite Extensive Games - ENS de Lyon - École normale supérieure de Lyon
Preprints, Working Papers, ... Year : 2008

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.
Fichier principal
Vignette du fichier
infinite_games.pdf (160.77 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and 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)

Identifiers

Cite

Pierre Lescanne. Mechanical Reasoning on Infinite Extensive Games. 2008. ⟨ensl-00278405v4⟩
237 View
218 Download

Altmetric

Share

More