Towards formal foundations for game theory

From MaRDI portal

Revision as of 08:30, 1 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:1791194

Jump to:navigation, search

DOI10.1007/978-3-319-94821-8_29OpenAlexW2809686600WikidataQ108482121 ScholiaQ108482121MaRDI QIDQ1791194

Julian Parsert, Cezary Kaliszyk

Publication date: 4 October 2018

Full work available at URL: https://zenodo.org/record/1474291

Mathematics Subject Classification ID

Utility theory (91B16) Utility theory for games (91A30) Formalization of mathematics in connection with theorem provers (68V20)

Related Items (2)

Formalizing the Cox-Ross-Rubinstein pricing of European derivatives in Isabelle/HOL ⋮ Unnamed Item

Uses Software

This page was built for publication: Towards formal foundations for game theory

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1791194&oldid=14146340"