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.
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 : Tuesday, April 24, 2018 - 1:52:28 PM
Long-term archiving on : Friday, September 24, 2010 - 10:21:21 AM

Files

infinite_games.pdf
Files produced by the author(s)

Identifiers

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

Collections

Citation

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

Share

Metrics

Record views

206

Files downloads

87