｛“status”：“ok”，“message type”：“work”，“message version”：“1.0.0”，“message”：｛“indexed”：｛“date parts”：[[2024,2,9]]，“date-time”：“2024-02-09T23:28:19Z”，“timestamp”：1707521299554｝，“publisher location”：“Berlin，Heidelberg”，“reference count”：12，“publisher”：“Springer Berlin Heidelberg”，“isbn type”：[｛“value”：“9783540732273”，“type”：“print”｝，｛“value”：“9783540732280”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2007]]}，”DOI“：”10.1007\/978-3-540-73228-0_25“，”type“：”book-capter“，”created“：”{“date-part”：[2007,7,16]]，“date-time”：“2007-07-16T15:57:11Z“，”时间戳“：1184601431000}，”页面“：”351-365“，“source”：“Crossref”，“is-referenced-by-count”：13，“title”：[“一阶函数的多项式大小分析”]，“prefix”：“10.1007”，”author“：[{”given“：”Olha“，”family“：”Shkaravska“，”sequence“：”First“，”affiliation“：[]}，{”给定“：”Ron len“，”序列“：“additional”，“affiliation”：[]}]，“member”：“297”，“reference”：[{“key”：“25_CR1”，“doi-asserted-by”：“crossref”，”unstructured“：“Bonfante，G.，Marion，J.-Y.，Moyen，J.-Y：准解释，一种控制资源的方法。理论计算机科学（待发表）”，“doi”：“10.1016\/J.tcs.2011.02.007”}，{“key”：”25_CR2“，”doi-assert-by“crossrev”，“首页”：“579”，“DOI”：“10.1017\/S0960129500070109”，，“卷”：“6”，“作者”：“E.Barendsen”，“年份”：“1996”，“非结构化”：“Barendson，E.，Smetsers，S.：具有图形重写语义的函数语言的唯一性类型。计算机科学中的数学结构\u00a06，579\u2013612（1996）”，“期刊标题”：“计算机科学中的数学结构”}，{“key”：“25_CR3”，“doi-asserted-by”：“crossref”，“unstructured”：“Chatterjee，S.，Blelloch，G.E.，Fischer，A.L.：数据并行程序的大小和访问推断。in:PLDI\u201991。ACM SIGPLAN 1991年编程语言设计与实现会议记录，第130\u2013144（1991）页“，”DOI“：”10.1145\/113445.113457“}，{”key“：”25_CR4“，”DOI-asserted-by“：”crossref“，”unstructured“：”Chui，C.，Lai，H.C.：R s中的Vandermonde行列式和Lagrange插值。非线性和凸分析，23\u201335（1987）“，”DOI“：”10.1201\/9781003420040-3“}，{“issue”：“1”，“key”：“25_CR5”，“DOI-asserted-by”：“publisher”，“first page”：”185“，“DOI”：“10.1145\/640128.604148”，“volume”：：“38”，“author”：“M.Hofmann”，“year”：“2003”，“unstructured”：“Hofmann-，M.，Jost，S.：一阶函数程序堆空间使用的静态预测。SIGPLAN Not。\u00a038（1），185 \u2013197（2003）“，”journal-title“：”SIGPLAN不是。“}，{”key“：”25_CR6“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”crossref“，”first-page:“199”，“doi”：“10.1007\/3-540-44806-3_12”，“volume-title”：“程序生成的语义、应用和实现”，“author”：“C.A.Herrmann”，“year”：“2001”，“unstructured”：“Herrmann，C.A.，Lengauer，C.：一种结合尺寸推断和程序优化的转换方法。收录：Taha，W.（编辑）SAIG 2001。LNCS，第u00a02196卷，第199\u2013218页。Springer，Heidelberg（2001）“}，{“key”：“25_CR7”，“unstructured”：“Jay，C.B.，Sekanina，M.：数组程序的形状检查。In:Computing:the Australasian Theory Seminar，Proceedings.Australian Computer Science Communications，vol.\u00a019，pp.113\u2013121（1997）”}，“{”key“：”25_CR8“非结构化”：“Pareto，L.：尺寸类型。计算机科学执照学位论文。查尔默斯理工大学（1998）“}，{”key“：”25_CR9“，”series-title“：”数学课堂笔记“，”doi-asserted-by“：”crossref“，”doi“：”10.1007\/BFb0088788“，”volume-title“：“多元Birkhoff插值”，”author“：”R.A.Lorenz“，”year“：”1992“，”unstructured“：”Lorenz，R.A.：SAFECOMP 1998。数学课堂笔记，卷\u00a01516。Springer，Heidelberg（1992）“}，{“问题”：“10”，“关键”：“25_CR10”，“首页”：“689”，“卷”：“98”，“作者”：“Y.Matiyasevich”，“年份”：“1991”，“非结构化”：“Matiyassevich，Y.，Jones，J.-P.：Hilbert \u2019第十个问题的证明或递归不可解性。美国数学月刊\u00a098（10），689\u2013709（1991）”，“期刊标题”：“美国数学月刊“}，{”key“：”25_CR11“，”doi-asserted-by“：”crossref“，”unstructured“：”Shkaravska，O.，van Kesteren，R.，van Eekelen，M.：一阶函数的多项式大小分析。技术报告ICIS-R07004，Radboud University Nijmegen（2007）“，”doi“：”10.1007\/978-3-540-73228-0_25“}”，{“key”：“25_CR12”，“series-title”：“《计算机科学课堂讲稿》，“doi-asserted-by”：“crossref”，“first page”：“86”，“doi”：“10.1007 \/978-3-540-27861-0_6”，“volume-title”：“函数语言的实现”，“author”：“P.-B.Vasconselos”，“year”：“2004”，“unstructured”：“Vasconsellos，P.-B.，Hammond，K.：递归成本方程推导，多态和高阶函数程序。收录人：Trinder，P.，Michaelson，G.J.，Pe\u00f1a，R.（编辑）IFL 2003。LNCS，第00a03145卷，第86页\u2013101。Springer，Heidelberg（修订论文）（2004）“}”，“container-title”：[“计算机科学课堂讲稿”，“Lambda Calculi和应用”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.Springer.com\/content\/pdf\/10.1007\/978-3-540-73228-0_25”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查“}”，“存放”：{“日期-部分”：[[2023,5,13]]，“日期-时间”：“2023-05-13T10:29:09Z”，“时间戳”：1683973749000}，“分数”：1，“资源”：{“主要”：}“URL”：“http://\/link.springer.com\/10.1007\/978-3-540-73228-0_25”}}，“ISBN”：[“9783540732273”，“978354732280”]，“references-count“：12，”URL“：”http:\/\/dx.doi.org\/10.1007\/978-3-540-73228-0_25“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”value“：”0302-7743}}