Computer Science – Computer Science and Game Theory
Scientist
Computer Science
Computer Science and Game Theory
Scientist
LIP
(Mechanical) Reasoning on Infinite Extensive Games
Common knowledge logic in a higher order proof assistant?
Computational interpretation of classical logic with explicit structural rules
Conversion/Preference Games
Deconstruction of Infinite Extensive Games using coinduction
No associations
LandOfFree
Pierre Lescanne does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Pierre Lescanne, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Pierre Lescanne will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-186675