arXiv Open Access 2008

(Mechanical) Reasoning on Infinite Extensive Games

Pierre Lescanne

Lihat Sumber

Abstrak

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.

Topik & Kata Kunci

cs.GT cs.LO

Penulis (1)

Pierre Lescanne

Format Sitasi

APA MLA BibTeX

Lescanne, P. (2008). (Mechanical) Reasoning on Infinite Extensive Games. https://arxiv.org/abs/0805.1798

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2008
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓