｛“status”：“ok”，“message type”：“work”，“message version”：“1.0.0”，“message”：｛“indexed”：｛“date parts”：[[2022,4,4]]，“date-time”：“2022-04-04T12:39:47Z”，“timestamp”：1649075987358｝，“publisher location”：“Berlin，Heidelberg”，“reference count”：16，“publisher”：“Springer Berlin Heidelberg”，“isbn type”：[｛“value”：“9783642325885”，“type”：“print”｝，｛“value”：“9783642325892”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2012]]}，”DOI“：”10.1007\/978-3642-3589-2_45“，”type“：”book-capter“，”created“：”{“date-part”：[2012,8,1]]，“date-time”：“2012-08-01T08:444:32Z“，”时间戳“：1343810672000}，”页面“：”503-515“，“source”：“Crossref”，“is-referenced-by-count”：3，“title”：[“Coalgebraic Games的类别”]，“prefix”：“10.1007”，”author“：[{”given“：”Furio“，”family“：”Honsell“，”sequence“：”first“，”affiliation“：[]}，“given”：”Marina“，序列“：”附加“，”从属“：[]}]，“member”：“297”，“reference”：[{“key”：“45_CR1”，“doi-asserted-by”：“crossref”，”unstructured“：“Abramsky，S.：交互语义：游戏语义导论。In:Dybjer，P.，et al.（eds.）CLiCS 1996 School。Cambridge University Press（1997）”，“doi”：“10.1017\/CBO9780511526619.002”}，{“key”：”45_CR2“，”doi-assert-by“：”publisher“，”“first page”：“404”，“DOI”：“10.1006\/inco.2000.2930”，“volume”：“163”，“author”：“S.Abramsky”，“year”：“2000”，“unstructured”：“Abramsky-S.，Jagadeesan，R.，Malacaria，P.：PCF.信息与计算的完全抽象：“Aczel，P.：非wellfounded sets.CSLI演讲笔记，斯坦福，vol.\u00a014（1988）”}，{“key”：“45_CR4”，“unstructured”：“Barwise，J.，Moss，L.：Vicious Circles。CSLI讲稿，斯坦福，vol.\u000a060（1996）”}.，{《key》：“45-CR5”，“doi-asserted-by”：“crossref”，“非结构化”：“van Benthem，J.：作为过程模型的广泛游戏。《逻辑、语言和信息杂志》（Journal of Logic，Language and Information）\u00a011（2002）”，“DOI”：“10.1023\/A:1015534111901”}，{“key”：“45_CR6”，“unstructured”：“Berlekamp，E.，Conway，J.，Guy，R.：Winning Ways。学术出版社（1982）”}：“Conway，J.H.：关于数字和游戏。A K Peters Ltd.（2001）”，“DOI”：“10.1201\/9781439864159”}，{“问题”：“4”，“关键”：“45_CR8”，“首页”：“493”，“卷”：“10”，“作者”：“M.Forti”，“年份”：“1983”，“非结构化”：“Forti，M.，Honsell，F.：具有自由构建原则的集合理论。Ann.Scuola Norm.Sup.Pisa，Cl.Sci.\u00a010（4），493\u2013522（1983）“，“journal-title”：“Ann.Scuola Norm.Sup.Pisa，Cl.Sci.”}，{“key”：“45_CR9”，“doi-asserted-by”：“crossref”，“unstructured”：“Honsell，F.，Lenisa，M.：Conway Games，algebraically and coalebraically.Logical Methods in Computer Science \u00a07（3）（2011）”，“doi”：“10.2168 \/LMCS-7（3:8）2011”}、{“key”：”45_CR10“，“doi-asserted-by”：”crossref“，”非结构化“：“Honsell，F.，Lenisa，M.，Redamalla，R.：无限Conway游戏的等价与同余。In:理论信息学与应用（2012）”，“DOI”：“10.1051\/ita\/2012001”}，{“key”：“45_CR11”，“unstructured”：“Hyland，M.和Schalk，A.：图上的游戏和顺序可实现函数。In:LICS 2002，pp.257\u2013264。IEEE计算机科学出版社（2002）“}，{“key”：“45_CR12”，“unstructured”：“Joyal，A.：Remarques sur la Theorye des Jeux A deux personnes.Gazette des Sciences Mathematiques du Quebec\u00a01（4）（1977）”}，“{”key“：”45_CR13“，”unstructure“：”梅利斯，P.A.：线性逻辑的范畴语义。收录于：Panoramas et Synth\u00e9ses，vol.\u00a027，Soci\u00e 9t\u00e9 Math\u00 e9matique de France（2009）“}，{“key”：“45_CR14”，“series-title”：“Computer Science课堂笔记”，“doi-asserted-by”：“publisher”，“首页”：“247”，“doi”：“10.1007\/978-3642-02930-1_21”，“volume-title”：《自动化、语言和编程》，“author”：“P.-A.Melli\u00e8s“，”年份“：“2009年，“非结构化”：“Melli\u00e8s，P.-A.，Tabareau，N.，Tasson，C.：线性逻辑自由指数模态的显式公式。收录人：Albers，S.、Marchetti-Paccamela，A.、Matias，Y.、Nikoletseas，S..、Thomas，W.（编辑）ICALP 2009。LNCS，卷\u00a05556，第247\u2013260页。Springer，Heidelberg（2009）“}，{”key“：”45_CR15“，”doi-asserted-by“：”crossref“，”unstructured“：”Pauly，M.：“从程序到游戏：双向模拟的不变性和安全性。收录于：CSL 2009，第485\u2013496页（2009）”，“doi”：“10.1007\/3-540-44622-2_33”}，“key”：“45_CR16”，“doi-assert-by”：“publisher”，“first-page”：“227”，“doi”：”10.1016\/S0022-4049（01）00098-6“，”卷“：”168“，”作者“：”桑托卡纳莱“，”年份“：”2002“，”非结构化“：”桑托卡纳雷，L.：自由\u03bc-lattices。J.纯应用。代数\u00a0168，227\u2013264（2002）“，“期刊标题”：“J.Pure Appl。代数“}]，“容器-时间”：[“2012年计算机科学的数学基础”，“计算机科学的课堂讲稿”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3642-3589-2_45.pdf”，“内容类型”：“unspecified”，“content-version”：“vor”，“intended-application”：“相似性检查”}，“存放”：{date-parts“：[[2021,5,4]]，“date-time”：“2021-05-04T12:08:10Z”，“timestamp”：162013009000}，“score”：1，“resource”：{“primary”：{“URL”：“http://\/link.springer.com\/10.1007\/978-3642-32589-2_45”}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-part“：[2012]]}”，“ISBN”：[“9783642325885”，“9783642325892“]，”references-count“：16，”URL“：”http:\/\/dx.doi.org\/10.1007\/978-3642-32589-2_45“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”value“：”03029743“，”type“:”print“}，{”value“：”1611-33049“，”类型“：”electronic“}]，”subject“：【】，”published“：{”date-parts“：【2012】】}}}}