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.Comment: 11 

Lescanne, Pierre

English

arXiv

11 pIn 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

Hal-Diderot

Mechanical Reasoning on Infinite Extensive Games

HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci-entific research documents, whether they are pub-lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et a ̀ la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés. en sl

Pierre Lescanne

CiteSeerX

(Mechanical) Reasoning on Infinite Extensive Games

HAL-ENS-LYON

HAL Descartes

INRIA a CCSD electronic archive server

http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.312.4565

(Mechanical) Reasoning on Infinite Extensive Games

Abstract

Similar works

Full text

Available Versions

Hal-Diderot

CiteSeerX

HAL-ENS-LYON

HAL Descartes

INRIA a CCSD electronic archive server