{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2022,11,8]]，“日期-时间”：“2022-11-08T17:53:16Z”，“时间戳”：1667929996128}，“引用-计数”：26，“发布者”：“Elsevier BV”，“许可证”：[{“开始”：{:“日期-零件”：[[2010,9,1]]，”“日期-时刻”：“2010-09-01T00:00:00Z“，”timestamp“：1283299200000}，”content-version“：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com/tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2013,7,29]]，“date-time”：“2013-07-29T00:00:00Z”，“timestamp”：1375056000000}，“content-version”：“vor”，“delay-in-days”：1062，“URL“http://creativecommons.org\/licenses\/by-ncc nd\/3.0\/“}]，”内容域“：{”域“：[]，”交叉标记限制“：false}，“short-container-title”：[“理论计算机科学中的电子笔记”]，“published-print”：{“日期部分”：[[2010,9]]}，”DOI“：”10.1016\/j.entcs.2010.08.021“，”type“：”journal-article“，”created“：{”date-parts“：[2010,9,4]]，”date-time“：”2010-09-04T11:15:21Z“，”timestamp“：1283598921000}，‘page’：”351-368“，”source“Crossref”“，”，“is-referenced-by-count”：3，“title”：[“分形的协代数表示理论”]，“prefix”：“10.1016”，“volume”：“265”，“author”：[{“given”：”Ichiro“，”family“：”Hasuo“，”sequence“：”first“，”affiliation“：[]}，{“fivent”：“Bart”，“family”：“Jacobs”，“sequence”：“additional”，“afliation”：[]{“给定”：“Milad”，“家族”：“Niqui”，“sequence”：“additional”，“affiliation”：[]｝]，“成员”：“78”，“参考文献”：[｛“issue”：“2”，“key”：“10.1016\/j.entcs.2010.08.021_br0010”，“doi断言者”：“crossref”，“首页”：“217”，“doi”：“10.1093\/logcom\/12.2.217”，“文章标题”：“最终代数是初始代数的理想完备集”，“卷”：“12”，“作者”：“Ad\u00e1mek”，“年份”：“2002”，“期刊标题”：“Journ.of逻辑与计算“｝，{“issue”：“3”，“key”：“10.1016\/j.entcs.2010.08.021_br0020”，“doi-asserted-by”：“crossref”，“first page”：”343“，“doi”：“101016\/0022-0000（89）90027-5”，“article-title”：“求解完备度量空间范畴中的自反域方程”，“volume”：第39页，“author”：“America”，“year”：“1989”，“journal-title“：”Journ.Comp.Syst.Sci“}，{“问题”：“2”，“密钥”：“10.1016\/j.entcs.2010.08.021_br0030”，“doi-asserted-by”：“crossref”，“first page”：“299”，“doi”：“10.106\/0304-3975（93）90076-6”，“article-title”：“完备集合理论中的末端余代数”，“volume”：”114“，“author”：“Barr”，“year”：“1993”，“journal-title“：”Theor.Comp.Sci.“}，{”key“10.1016”//j.entcs。2010.08.021_br0040“，”非结构化“：“B\u00e9nabou，J.，Distributors at work，T.Streicher（2000）的课堂笔记，www.mathematik.tu-darmstadt.de\/~Streicher\/FIBR\/DiWo.pdf.gz.”}，{“key”：“10.1016\/J.entcs.2010.08.021_br0050”，“series-title”：“SBMF”，“first page”：”84“article-title”：”Corecurive algebras:A study of general structured corecursion“，”volume“5902”，“作者”：“Capretta”，“year”：“2009”}，{“key”：“10.1016\/j.entcs.2010.08.021_br0060”，“doi-asserted-by”：“crossref”，“first-page”：“32”，“doi”：“101006\/inco.1995.1096”，“article-title”：“通过领域理论的动力学系统、测度和分形”，“volume”：”120“author”：“Edalat”，“年份”：“1995”，“journal-title“：”Inf.&Comp.“}”，{“密钥”：“10.1016\/j.entcs.2010.08.021_br0070”，“series-title”：“应用语义”，“首页”：“193”，“文章-标题”：“实数计算”，“卷”：“2395”，“作者”：“Edalat”，“年份”：“2002”}，{“key”：“10.116\/j-entcs.2010.08.021_br0080”，”doi-asserted-by“：”crossref“，”unstructured“：”Escard\u00f3，M.H.和A.K。辛普森，闭欧几里德区间的一个普遍刻画，载于：《计算机科学中的逻辑》（2001），第115\u2013128页。“，”DOI“：”10.1109\/LICS.2001.932488“}，{“key”：“10.1016\/j.entcs.2010.08.021_br0090”，“DOI-asserted-by”：“crossref”，“article-title”：“部分映射范畴中的公理域理论”，“author”：“Fiore”，年：“1996”，“DOI”：“10.1017\/CBO9780511526565“}，{“key”：“10.1016\/j.entcs.2010.08.021_br0100”，“doi-asserted-by”：“crossref”，“unstructured”：“Hasuo，I.，B.Jacobs和M.Niqui，分形的Coalgebraic表示理论，包括附录，http://www.kurims.kyoto-u.ac.jp\/~ichiro\/（2010）.”，“doi”：“1016\/j.entcs.2010.08.021”}，}“key.”“：”10.1016\/j.entcs.2010.08.021_br0110“，“article-title”：“通过共归纳的通用跟踪语义”，“volume”：“3”，“author”：“Hasuo”，“year”：“2007”，“journal-title“：”Comp中的逻辑方法。科学。“}，{”key“：”10.1016\/j.entcs.2010.08.021_br0120“，”doi-asserted-by“：”crossref“，”first page“：“1059”，“doi”：“10.2977\/prims\/1195178796”，“article-title”：“自相似集作为Tarski的固定点”，“volume”：“21”，“author”：“Hayashi”，“year”：“1985”，“journal title”：”Publ.Res.Inst.Math.Sci.“}”，{“密钥“：”10.1016\/j.entcs.2010.08.021_br0130“，”doi-asserted-by“：”crossref“，”first page“：”713“，”doi“：”10.1512\/iumj.1981.30.30055“，”article-title“：”分形与自相似“，”volume“：“30”，”author“：”Hutchinson“，”year“：”1981“，”journal-title”：“印第安纳大学数学”。J.“}，{”key“：”10.1016\/J.entcs.2010.08.021_br0140“，”series-title“：”度量空间和不动点理论简介“，”author“：”Khamsi“，”year“：”2001“}”，{“key”：“10.1016\/J.entcs.2010.021_br 0150”，“doi-asserted-by”：“crossref”，“first page”：”35“，”doi“：”101016\/0304-975（85）90208-7“，”article-title“：“表征理论”，“卷”：“38”，“作者：“克里茨”，“年份”：“1985年”，“新闻标题”：“Theor。公司。科学。“}，{”key“：”10.1016\/j.entcs.2010.08.021_br0160“，”author“：”Leinster“}、{”key“：“10.1016//j.entc.2010.08.021_br 0170”、“author”：“Leinster”}、“key”：“10.116\/j-entcs.2010.08.021_br 01 80”、“series-title”：“几何和逻辑中的Sheeves。Topos理论的首次介绍”、“作者”：“Mac Lane”、“年份”：“1992”}，{“密钥”：“10.1016\/j.entcs.2010.08.021_br0190”，“series-title“：”The Fractal Geometry of Nature“，”author“：”Mandelbrot“，”year“：”1982“}，{”issue“：”1\u20132“，”key“：”10.1016\/j.entcs.2010.08.021_br0200“，”doi-asserted-by“：”crossref“，”first page“：：“Pavlovi\u0107”，“年份”：“2002”，“新闻标题“：”Theor。公司。科学。“}，{”key“：”10.1016\/j.entcs.2010.08.021_br0210“，”series-title“：”离散迭代函数系统“，”author“：”Peruggia“，”year“：”1993“}”，{“key”：“10.1016\/j.entcs.2010.0021_br0220”，“doi-asserted-by”：“crossref”，“首页”：“3”，“doi”：“101016\/S0304-3975（00）00056-6”，“article-title”：“Universal”余代数：系统论”，“卷”：“249”，“作者”：“Rutten，“年份”：“2000年”，“新闻标题”：“Theor。公司。科学。“}，{”key“：”10.1016\/j.entcs.2010.08.021_br0230“，”doi-asserted-by“：”crossref“，”first page“：“337”，“doi”：“10.1016\/j.entcs.2008.10.20”，“article-title”：“带不变测度的精确实数积分的函数算法”，“volume”：“218”，“author”：“Scriven”，”year“：”2008“，”journal-title“：”Theor.Comp.Sci.中的Elect.Notes“}”，{“密钥”：“10.1016\/j.entcs.2010.08.021_br0240“，”doi-asserted-by“：”crossref“，”first page“：”761“，”doi“：”10.1137\/021162“，”article-title“：”递归域方程的范畴理论解“，”volume“：“11”，“author”：“Smyth”，“year”：“1982”，“journal-title”：“SIAM Journ。计算。“}，{”key“：”10.1016\/j.entcs.2010.08.021_br0250“，”doi-asserted-by“：”crossref“，”first page“：“467”，“doi”：“10.1016\/S0304-3975（01）00104-9”，“article-title”：“通过格雷码嵌入进行实数计算”，“volume”：“284”，“author”：“Tsuiki”，“year”：“2002”，“journal-title“：”Theor.Comput.Sci.“}”，{“key”：”10.10 016\/j.entcs.2010.08.021_br0260“，”doi-asserted-by“：”crossref“，”first page“：”17“，”doi“：”10.1016\/0304-3975（85）90207-5“，”article-title“：”Type 2递归理论“，”volume“：“38”，”author“：”Weihrauch“，”year“：”1985“，”journal-title”：“Theor。公司。科学。“}]，”container-title“：[”理论计算机科学中的电子笔记“]，”original-title”：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/api.elsevier.com/content\/article\/PII:S1571066110001003？httpAccept=text\/xml“，”content-type“：”text\/.xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，”{“URL”：“”https:\/\/api.elsevier.com/content\/article\/PII:S1571066110001003？httpAccept=text\/plain“，”content-type“：”text\/prain“，“content-version”：“vor”，“intended-application”：“text-mining”}]，“deposed”：{“date-parts”：[[2019,6,3]]，“date-time”：“2019-06-03T15:21:35Z”，“timestamp”：1559575295000}，“score”：1，“resource”：{primary“：{”URL“https://linkinghub.elsevier.com\/retrieve\/pii\/S1577 1066110001003“}}，”副标题“：[]，”短标题“：[]，”已发布“：｛”日期部分“：[[2010,9]]｝，”引用次数“：26，”替代id“：[”S1571066110001003“]，”URL“：”http:\/\/dx.doi.org/10.1016\/j.entcs.2010.08.0021“，”relationship“：｛｝，”ISSN“：[”1571-0661“]，”ISSN type“：[｛”value“：”1571-0661“，”type“：”print“｝]，”subject“：[]，”published“：｛”日期部分“：[[2010,9]]｝｝