(Mechanical) Reasoning on Infinite Extensive Games

Details (Mechanical) Reasoning on Infinite Extensive Games (Mechanical) Reasoning on Infinite Extensive Games

2008-05-13

arxiv.org/abs/0805.1798v4

Computer Science

Computer Science and Game Theory

11 p

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

(Mechanical) Reasoning on Infinite Extensive Games does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with (Mechanical) Reasoning on Infinite Extensive Games, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and (Mechanical) Reasoning on Infinite Extensive Games will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-472136