{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2022,4,5]]，“日期时间”：“2022-04-05T22:17:12Z”，“时间戳”：164919703261}，“引用-计数”：9，“发布者”：“开放发布协会”，“内容域”:{“域”：[]，“交叉标记限制”：false}，”短容器时间“：[“Electron.Proc.Theor.Compute.Sci.”，“EPTCS”]，“DOI”：“10.4204\/EPTCS.119.5”，“type”：“journal-article”，“created”：{“date-parts”：[[2013,7,15]]，“date-time”：“2013-07-15T22:06:52Z”，“timestamp”：1373926012000}，“page”：”21-34“source”：《Crossref》，“is-referenced-by-count”：0，“title”：[“Banach-Mazur游戏和相当正确的系统“]，“前缀”：“10.4204”，“卷”：“119”，“作者”：[｛“给定”：“托马斯”，“家族”：“布里海耶”，“序列”：“第一”，“附属关系”：[｛“名称”：“蒙斯大学”}]｝，｛“给定”：“昆汀”，“家族”：“梅奈”，“序列”：“附加”，“附属关系”：[｛“名称”：“蒙斯大学”}]｝]，“成员”：“2720”，“在线发布”：｛“日期部分”：[[2013,7,16]]｝，”引用“：[｛”键“：“BGK03”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：“229”，“doi”：“10.1007\/978-3-540-39813-4_16”，“article-title”：”Once on a Time in a West-Determinality，Defability，and Complexity of Path Games“，”volume-title“：”LPAR“，”卷“：“2850”，“author”：“Berwanger”，“年份”：“2003”}，{“key”：”BC06“，”doi-assert-by y“：“publisher”，“first page”：“285”，“DOI”：“10.1109\/LICS.2006.17”，“article-title”：“w-Regularity中的边界”，“volume-title“：”LICS“，”author“：”Bojanczyk“，”year“：”2006“}，{“key”：”Gr08“，”series-title“：“LIPIcs”，“DOI-asserted-by”：“publister”，“首页”：“364”，“DOI”：”10.4230\/LIPIcs.FSTTCS。2008.1768“，“article-title”：“Banach-Mazur图形游戏”，“volume-title“：“FSTTCS”，“volume”：“2”，“author”：“Gr\u00e4del”，“year”：“2008”}，{“key”：”GL12“，”series-title“：”LIPIcs“，”doi-asserted-by“：”publisher“，”first page“：”305“，“doi”：“10.4230\/LIPIcs.CSL.2012.305”，“article-title”：“Banach-Mazur Games with Simple Winning Strategies”，“volume-title“”：”CSL“，”volume“：“16”，“作者“：”Gr\u00e4del“，”年份“：”2012“}，{“key”：“lncs2500”，“series-title”：“LNCS”，“volume-title”：“Automata，Logics，and Infinite Games:A Guide to Current Research”，“卷”：“2500”，“年份”：“2002”}，{“问题”：“1”，“键”：“HS12”，“doi-asserted-by”：“出版商”，“首页”：“87”，“doi”：“10.3233\/FI-2012-728”，“文章-时间”：“MSO+U及相关自动机模型的拓扑复杂性”，“体积”：“119”，“作者”：“Hummel”，“year”：“2012”，“journal-title”：“Fund.Inform.”}，{“key”：“HST10”，“series-title”：《计算机科学讲义》，“doi-asserted-by”：“publisher”，“first page”：《429》，“doi”：“10.1007\/978-3642-15155-2_38”，“article-title“On the Topological Complexity of MSO+U and Related Automata Models”，“volume-title作者“：“Hummel”，“年份”：“2010”}，{“key”：“oxtoby57”，“首页”：“159”，“article-title”：“Banach-Mazur博弈与Banach范畴定理”，“卷”：“39”，“作者”：“Oxtoby”，“年”：“1957”，“新闻标题”：“数学研究年鉴”}、{“key”：”VVV06“，”doi-asserted-by“：”publisher“，”首页“：”389“，”doi“：”10.1109\/LICS.2006.49“，“”文章标题“：“时间逻辑和模型检查公平正确的系统”，“卷时间”：“Proc.21 Ann.Symp.Logic in Computer Science（LICS’06）”，“作者”：“Varacca”，“年份”：“2006”}]，“容器时间”：[“理论计算机科学电子论文集”]，“原文标题”：[]，“语言”：“en”，“存放”：{“日期部分”：[[2013,7,22]]，“日期时间”：“2013-07-22T01:03:01Z”，“timestamp”：1374454981000}，“score”：1，“resource”：{“primary”：{“URL”：“http://\/arxiv.org\/abs\/1304.5438v2”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[[2013,7,16]]}，‘references-count’：9，”URL“：”http://\/dx.doi.org\/10.4204\/eptcs。119.5“，”关系“：{}，”ISSN“：[”2075-2180“]，”ISSN-type“：[{”值“：”2075~2180“，”类型“：“电子”}]，“主题”：[]，“已发布”：{“日期部分”：[[2013,7,16]]}}