DOI10.1007/978-3-642-32940-1_8zbMath1364.68242MaRDI QIDQ2914365
Orna Kupferman, Guy Avni
Publication date: 25 September 2012 Published in: Lecture Notes in Computer Science (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1007/978-3-642-32940-1_8
Mathematics Subject Classification ID
91A80: Applications of game theory
68Q45: Formal languages and automata
Related Items