(Mechanical) Reasoning on Infinite Extensive Games
Computer Science and Game Theory
2008-12-18 v4 Logic in Computer Science
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.
Cite
@article{arxiv.0805.1798,
title = {(Mechanical) Reasoning on Infinite Extensive Games},
author = {Pierre Lescanne},
journal= {arXiv preprint arXiv:0805.1798},
year = {2008}
}
Comments
11 p