(Mechanical) Reasoning on Infinite Extensive Games

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

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.
11 p

Keywords

Computer Science and Game Theory, Logic in Computer Science

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/212547

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/0805.1798
 http://arxiv.org/abs/0805.1798

Collections

arXiv