Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

Mechanical Reasoning on Infinite Extensive Games

Pierre Lescanne 1
1 LIP - Laboratoire de l'Informatique du Parallélisme
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.
Keywords : games games in extensive form proof assistant formal proofs infinite objects
Document type :
Preprints, Working Papers, ...
Complete list of metadatas

Cited literature [16 references]  Display  Hide  Download
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00278405
Contributor : Pierre Lescanne <>
Submitted on : Wednesday, May 28, 2008 - 3:47:46 PM
Last modification on : Wednesday, November 20, 2019 - 3:10:39 AM
Long-term archiving on: : Friday, September 24, 2010 - 10:21:21 AM

Files

Vignette du document
infinite_games.pdf
Files produced by the author(s)

Identifiers

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

Collections

CNRS | INRIA | LIP | LIP_PLUME | ENS-LYON | UNIV-LYON1 | UDL

Citation

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

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

225

Files downloads

100