{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2023,12,4]]，“日期时间”：“2023-12-04T16:41:12Z”，“时间戳”：1701708072509}，“出版商位置”：“柏林，海德堡”，“参考计数”：12，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783642329425”，“类型”：“打印”}，{“值”：“9783642329432”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2012]]}，”DOI“：”10.1007\/978-3642-32943-2_5“，”type“：”book-capter“，”created“：”{“date-part”：[2012,8,28]]，“date-time”：“2012-08-28T04:595”:35Z“，”时间戳“：1346129975000}，”页面“：”61-73“，“source”：“Crossref”，“is-referenced-by-count”：3，“title”：[“简单线性循环的非终止集”]，“prefix”：“10.1007”，”author“：[{”given“：”Liyun“，”family“：”Dai“，”sequence“：”first“，”affiliation“：[]}，{”fixed“：”Bican“，”家族“：”Xia“，”序列“：”additional“，”filiation R1“，”系列标题“：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：“372”，“doi”：“10.1007\/11817963_34”，“volume-title”：“计算机辅助验证”，“author”：“M.Braverman”，“year”：“2006”，“unstructured”：“Braverman，M.：整数线性程序的终止。in:Ball，T.，Jones，R.B.（eds.）CAV 2006。LNCS，第u00a04144卷，第372\u2013385页。Springer，Heidelberg（2006）“}，{”key“：”5_CR2“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“34”，”doi“：”10.1007\/978-3-540-75292-9_3“，“volume-title”：“计算的理论方面\u2013 ICTAC 2007”，“author”：“Y.Chen”，“year”：“2007”，”unstructured“：”Chen，Y.，Xia，B.，Yang，L.，Zhan，N.，Zhou，C.：通过求解半代数系统发现非线性秩函数。摘自：Jones，C.B.，Liu，Z.，Woodcock，J.（编辑）ICTAC 2007。LNCS，第u00a04711卷，第34\u201349页。Springer，Heidelberg（2007）“}，{“key”：“5_CR3”，“series title”：“计算机科学讲义”，“doi断言”：“publisher”，“首页”：“67”，“doi”：“10.1007\/3-545-45319-9_6”，“volume title”：“系统构建和分析的工具和算法”，“author”：“M.A.Col\u00f3n”，“year”：“2001”，“nonstructured”：“Col\u00f3n，M.A.，Sipma，H.B.：线性秩函数的合成。收录：Margaria，T.，Yi，W.（编辑）TACAS 2001。LNCS，第u00a02031卷，第67\u201381页。Springer，Heidelberg（2001）“}，{“key”：“5_CR4”，“unstructured”：“Dams，D.，Gerth，R.，Grumberg，O.：自动生成排名函数的启发式方法。In:验证进展研讨会（WAVe 2000），pp.1\u20138（2000）”}，}，“key“：”5_CR5“，”doi-asserted-by“：”crossref“，”unstructure“：”Lee，C.S.，Jones，N.D.，Ben-Amram，A.M.：计划终止的规模变化原则。在：POPL，第81页\u201392（2001）“，”DOI“：”10.1145\/373243.360210“}，{”key“：”5_CR6“，”series-title“：”计算机科学讲义“，”DOI-asserted-by“：”publisher“，”first page“：“239”，”DOI:“10.1007\/978-3-540-24622-0_20”，”volume-title“：“验证、模型检查和抽象解释”，”author“：”A.Podelski“，”year“：”2004“，”unstructured“：”Podelski，A.，Rybalchenko，A.：合成线性秩函数的完整方法。收录：Steffen，B.，Levi，G.（编辑）VMCAI 2004。LNCS，第\000a02937卷，第239页\u2013251。Springer，Heidelberg（2004）“}，{”key“：”5_CR7“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“70”，”doi“：”10.1007\/978-3-540-27813-9_6“，”volume-title“：“计算机辅助验证”，”author“：”A.Tiwari“，”year“：”2004“，”unstructured“：”Tiwari，A.：线性程序的终止。In:Alur，R.，Peled，D.A.（编辑）CAV 2004。LNCS，第00a03114卷，第70\u201382页。Springer，Heidelberg（2004）“}，{”key“：“5_CR8”，”doi-asserted-by“：”publisher“，”first page“：”1234“，”doi“：”10.1016\/j.jsc.2010.06.006“，”volume“:”45“，”author“：”B.Xia“，”year“：”2010“，”unstructured“：”Xia，B.，Zhang，Z.：非线性约束线性程序的终止。符号计算杂志\u00a045，1234\u20131249（2010）“，”journal-title“：”journal of Symbolic Computation“}，{“key”：“5_CR9”，“doi-asserted-by”：“publisher”，“first-pages”：“171”，”doi“：”10.1007\/s00165-009-0144-5“，”volume“：”23“，”author“：”B.Xia“，”year“：”2011“，”unstructured“：”Xia，B.，Yang，L.，Zhang，N.，Z.：线性规划终止的符号决策过程。计算的形式方面\u00a023，171\u2013190（2011）“，“journal-title”：“计算的形式部分”}，{“key”：“5_CR10”，“doi-asserted-by”：“crossref”，“unstructured”：“Gupta，A.，Henzinger，T.，Majumdar，R.，Rybalchenko，A.，Xu，R.G.：证明非终结性。In:POPL，pp.147\u2013158（2008）”，“doi”：“10.1145\/1328897.1328459”}、{“key”：”5_C R11英寸doi-asserted-by“：”crossref“，”unstructured“：”Gulwani，S.、Srivastava，S.和Venkatesan，R.：作为约束求解的程序分析。收录于：POPL，pp.281\u2013292（2008）”，“DOI”：“10.1145\/1379022.1375616”}，{“key”：“5_CR12”，“unstructured”：“Zhao，S.，Chen，D.：循环程序终止集的可判定性分析。收录于《国际计算机科学与服务系统会议》（CSSS），pp.3124\u20133127（2011）”}]，“container-title”：[“计算的理论方面\u2013 ICTAC 2012”，“计算机科学课堂讲稿”，“original-title”：[]，“link”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3642-32943-2_5.pdf”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2021,5,4]]，“date-time“：”2021-05-04T11:49:48Z“，”timestamp“：1620128988000}，”score“：1，”resource“：{主要”：{“URL”：“http://\/link.springer.com/10.1007\/978-3642-32943-2_5”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[2012年]}，《ISBN》：[“9783642329425”，“978364 2329432”]，“references-count”“：12，”URL“：”http://\/dx.doi.org\/10.1007\/978-3642-32943-2_5“，”关系“：{}，”ISSN“：[“0302-9743”，“1611-3349”]，”ISSN-type“：[{”value“：”0302-974“，”type“:”print“}，{”value“：”1611-3399“，”类型“：”electronic“}]，“subject”：[]，“published”：{“date-parts”：[2012]}}}