Mechanical Reasoning on Infinite Extensive Games - Archive ouverte HAL Access content directly
Preprints, Working Papers, ... Year :

Mechanical Reasoning on Infinite Extensive Games

(1)
1

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⟩
199 View
151 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More