Publication:3384880

From MaRDI portal
Revision as of 17:39, 4 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)


MaRDI QIDQ3384880

Leander Tentrup, Jesko Hecking-Harbusch

Publication date: 17 December 2021

Full work available at URL: https://arxiv.org/abs/1604.06752


Mathematics Subject Classification ID

91A80: Applications of game theory

68Q45: Formal languages and automata

68Q60: Specification and verification (program logics, model checking, etc.)





Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3384880&oldid=16663873"
Powered by MediaWiki