Towards Formal Foundations for Game Theory

Julian Parsert, Cezary Kaliszyk
Interactive Theorem Proving, Lecture Notes in Computer Science 10895, pp. 495 – 503, 2018.

abstract   BibTeX   PDF   doi:10.1007/978-3-319-94821-8_29