Thumbnail
Access Restriction
Open

Author Lescanne, Pierre
Source arXiv.org
Content type Text
File Format PDF
Date of Submission 2008-05-13
Language English
Subject Domain (in DDC) Computer science, information & general works
Subject Keyword Computer Science - Computer Science and Game Theory ♦ Computer Science - Logic in Computer Science ♦ cs
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.
Educational Use Research
Learning Resource Type Article


Open content in new tab

   Open content in new tab