{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2023,6,20]]，“日期时间”：“2023-06-2T2:10:44Z”，“时间戳”：1687299044175}，“引用-计数”：20，“发布者”：“EDP Sciences”，“问题”：“2”，“内容域”：{“域”：[]，“交叉标记限制”：false}，”short-container-title“：[“RAIRO-Theor.Inf.应用程序”]，“published-print”：{“date-parts”：[[2012,4]]}，“DOI”：“10.1051\/ita\/2012001”，“type”：“journal-article”，“created”：{“date-parts”：[2012,3,4]]，“date-time”：“2012-03-04T00:02:07Z”，“timestamp”：1330819327000}，”page“：”231-259“source”：”Crossref“，”is-referenced-by-count“：4，”title“：[”无穷大上的等式和同余te Conway Games“]，”前缀“：“10.1051”，“卷”：“46”，“作者”：[{“给定”：“Furio”，“家族”：“Honsell”，“序列”：“第一个”，“从属关系”：[]}，{“给出”：“玛丽娜”，“家庭”：“莉妮莎”，“顺序”：“附加”，“附属关系”：[]}“：[[2012,3,2]]}，”引用“：[{”键“：”R1“，“非结构化”：“Abramsky S.和Jagadesaan R.，乘法线性逻辑的游戏和完全完备性，J.Symb.Log.59（1994）543\u2013574.”}，{“key”：“R2”，“unstructured”：“P.Aczel，Non-wellfounded sets.CSLI演讲笔记14（1988）。”}、{“密钥”：“R3”，“非结构”：“J.Barwise和L.Moss，Vicious Circles.CSLI演讲笔记60（1996）。”，“非结构化”：“E.Berlekamp，J.Conway and R.Guy，Winning Ways。学术出版社（1982）。”}，{“key”：“R5”，“unstructured”：“J.H.Conway.On Numbers and Games，第二版（学术出版社（1976），第1版。AK Peters Ltd.（2001）。”{“密钥”：“R 6”，“非结构性”：“Forti M.and Honsell F.，《自由构建原则的集合理论》。Ann.Scuola Norm.Sup。Pisa Cl.Sci.10（1983）493\u2013522.“}，{“key”：“R7”，“doi-asserted-by”：“crossref”，“unstructured”：“Grumberg O.，Lange M.，Leucker M.和Shoham S.，《当不输胜于赢时：完整\u03bc-calculus.Inform.Comput.205（2007）1130\u20131148.”，“doi”：“10.1016\/j.ic.2006.10.009”}，“key“：”R8“非结构化”：“粗鲁的下午，数学和游戏。Eureka2（1939）6\u20138.“}，{“key”：“R9”，“doi-asserted-by”：“crossref”，“unstructured”：“F.Honsell and M.Lenisa，Conway Games，algebraically and coalgebraically.Log.Meth.Comput.Sci.7（2011）.”，“doi”：“10.2168 \/LMCS-7（3:8）2011”}，}“key:“R10”，“非结构化”：“M.Hyland A。Schalk，关于图和序列可实现泛函的博弈，在Proc。LICS\u201902。IEEE Computer Science Press（2002）257\u2013264.“}，{“key”：“R11”，“unstructured”：“Kissig C.和Venema Y.，Coalgebra Automata的补充，CALCO\u201909.Lect.Notes Compute.Sci.5728（2009）81\u201396.”}，}“key:”R12“，“unsructured222\u2013259.“}，{“key”：“R13”，“unstructured”：“A.Joyal，Remarques sur la th\u00e9orie des jeux\u00e 0 deux personnes.Gaz.Sci.Math.du Qu\u00e9bec1（1977）。”}，}，“key“：“R14”，“非结构化”：“P.L.Curien，H.Herbelin，J.L.Krivine and P.A。Melli\u00e8s，线性逻辑的分类语义，计算和程序行为的交互模型。《全景与合成》（Panoramas et Synth\u00e8ses），《法国社会学》（Soci\u00e 9t\u00e9 Math\u00 e9 Matique de France27）（2009年）。“}，{”key“：”R15“，”doi-asserted-by“：”crossref“，”unstructured“：”P.A.Melli\u00e8s，N.Tabareau和C.Tasson，线性逻辑自由指数形式的显式公式，ICALP\u201909.Lect.Notes Compute Sci.555（2009）.“，”doi“：”10.1007\/978-3642-02930-1_21“}”，{“key”：“R16”，“unstructure”：“M”。Pauly，《从程序到游戏：双向模拟的不变性和安全性》，inProc。CSL\u201909（2009）485\u2013496。“}，{“key”：“R17”，“doi-asserted-by”：“crossref”，“unstructured”：“Santocanale L.，Free\u03bc-lattices.J.Pure Appl.Algebra168（2002）227\u2013264.”，“doi”：“10.1016\/S0022-4049（01）00098-6”}，“key“：”R18 J.41（1935）438\u2013444.“}，{键”：“R19”，“doi-asserted-by“：”crossref“，”unstructured“：”Thomas W.，inProc中的无限游戏和验证。CAV\u201902.Lect.的。注释计算。Sci.2404（2002）58\u201364.“，”DOI“：”10.1007\/3-540-45657-0_5“}，{“key”：“R20”，“DOI-asserted-by”：“crossref”，“unstructured”：“J.van Benthem，Extensive games as process models，J.Log.Lang.Inf.11（2002）.”，“DOI”：“10.1023\/A:1015534111901”}]，“container-title”：[“RAIRO-Theory Informatics and Applications”]，“original title”：[]，“link”：[{“URL”：“http://www.rairo-ita.org\/10.1051\/ita\/2012001\/pdf“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2023,6,20]]，”date-time“：“2023-06-20T21:47:18Z”，”timestamp“：1687297638000}，”score“：1，”resource“：”{“primary”：{“URL”：“ro-ita.org\/10.1051\/ita\/2012001“}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[2012,3,2]]}，“references-count”：20，“journal-issue”：{“issue”：“2”}，”alternative-id“：[”ita100063“]，“URL”：“http://\/dx.doi.org\/10.1051\/ita\/2012001”，“relation”：{}，《国际标准期刊》：[”0988-3754“，”1290-385X“]，”ISSN-type“：[{“数值”：“0988-3754”，“类型”：“打印”}，{“值”：“1290-385X”，“型号”：“电子”}]，“主题”：[]，“已发布”：{“日期部分”：[[2012,3,2]]}}