Towards Formal Foundations for Game Theory
Julian Parsert and Cezary Kaliszyk
Book Title
Interactive Theorem Proving − 9th International Conference‚ ITP 2018‚ Held as Part of the Federated Logic Conference‚ FloC 2018‚ Oxford‚ UK‚ July 9−12‚ 2018‚ Proceedings
Editor
Jeremy Avigad and Assia Mahboubi
Pages
495–503
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
10895
Year
2018