{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2022,3,29]]，“日期-时间”：“2022-03-29T09:31:28Z”，“时间戳”：1648546288681}，“出版商位置”：“柏林，海德堡”，“引用-计数”：27，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540354666”，“类型”：“打印”}，{“值”：“9783540354680”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2006,1,1]]，“date-time”：“2006-01T00:00:00Z”，“timestamp”：11360736000000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“http:\/\/www.springer.com\/tdm”}，{“tart”：“2006-01-01T00:00:00Z”，“时间戳”：11360736000000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“http://www.springer.com//tdm”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2006]]}，”DOI“：”10.1007\/11780342_39“，”type“：”book-capter“，”created“：”{“date-part”：[[2006 6,28]]，“日期时间”：“2006-06-28T02:19:46Z”，“时间戳”：1151461186000}，“页面”：“368-377”，“源”：“Crossref”，“is-referenced-by-count”：5，“标题”：[“实际暂停问题下的不可计算性”]，“前缀”：“10.1007”，《作者》：[{“给定”：“克劳斯”，“家族”：“密尔”，“序列”：“第一”，“从属关系”：[]}，{“已知”：“马丁”，“家庭”：“齐格勒”，“顺序”：“附加”，“附属关系”：[]}]，“成员”：“297”，“reference”：[{“key”：“39_CR1”，“doi-asserted-by”：“publisher”，”doi“：”10.1017\/CBO9780511565977“，”volume-title“：”超越数论“，”author“：”A.Baker“，”year“：”1975“，”unstructured“：”Baker，A.：超越数论。剑桥大学出版社，剑桥（1975）612-0701-6“，“volume-title”：“复杂性与真实计算”，“author”：“L.Blum”，“year”：“1998”，“unstructured”：“Blum，L.，Cucker，F.，Shub作者“：”S。Ben-David“，”year“：”2000“，”unstructured“：”Ben-Daved，S.，Meer，K.，Michaux，C.：NP中非完全问题的注释\n\u211d。《复杂性杂志》（Journal of Complexity）\u00a016（1），324\u2013332（2000）“，“Journal-title”：“复杂性杂志”}，{“key”：“39_CR4”，“doi-asserted-by”：“publisher”，“first-page”：“265”，“doi”：“10.1073\/pnas.44.10061”，“volume”：《44》，“author”：“W.W.Boone”，“year”：“1958”，“unstructured”：“Boone，W.W:The word problem.Nat.Acad.科学美国\u00a044，265\u2013269（1958）“，”journal-title“：”程序。美国国家科学院。科学。美国“}，{”key“：”39_CR5“，”doi-asserted-by“：”publisher“，”first page“：“1”，”doi“：”10.1090\/S0273-0979-1989-15750-9“，“volume”：“21”，“author”：“L.Blum”，“year”：“1989”，“unstructured”：“Blum，L.，Shub，M.，Smale，S.：关于实数的计算和复杂性理论：\n\n\n$\\mathcal{NP}$\n-完备性，递归函数和通用机器。《美国数学学会公报》（AMS Bulletin）\u00a021，1\u201346（1989）“，”journal-title“：”Bulletine of the American Mathematical Society（AMS公告）“}，{”key“：”39_CR6“，”doi-asserted-by“：”publisher“，”first page“：“1”，“doi”：“10.1016\/S0168-0072（98）00060-8”，“volume”：“99”，“author”：“O.Chapuis”，“year”：“1999”，“unstructured”：“”Chapuis，O.，Koiran，P.：实域计算理论中的饱和与稳定性。《纯逻辑与应用逻辑年鉴》\u00a099，1\u201349（1999）“，”journal-title“：”Annals of Pure and Applied Logic“}，{”issue“：”1“，”key“：”39_CR7“，”doi-asserted-by“：”publisher“，”first page“：“243”，”doi“：”10.1137 \/S0097539794270340“，”volume“26”，”author“：”F.Cucker“，”year“：”1997“，”unstructured“：”Cucker，F.，Grigoriev，D.Y.：关于实图灵机对二进制输入的能力。SIAM计算机杂志\u00a026（1），243\u2013254（1997）“，”Journal-title“：”SIAM计算机期刊“}，{”key“：”39_CR8“，”doi-asserted-by“：”publisher“，”first page“：“358”，”doi“：”10.1006\/jcom.1995.1018“，“volume”：“11”，“author”：“F.Cucker”，“year”：“1995”，“unstructured”：“”Cucker，F.，Koiran，P.：用加法和顺序计算实型：高复杂性类。《复杂性杂志》\u00a011，358\u2013376（1995）“，”Journal-title“：”Journal of Complexity“}，{“issue”：“3”，“key”：“39_CR9”，“doi-asserted-by”：“publisher”，“first-page”：“375”，“doi”：“10.1093”\/logcom\/2.3.375“，”volume“2”，“author”：“F.Cucker”，“year”：“1992”，“unstructured”：“Cucker，F.：实数的算术层次。《逻辑与计算杂志》\u00a02（3），375\u2013395（1992）“，”Journal-title“：”Journal of Logic and Computation“}，{“key”：“39_CR10”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3662-00547”，“volume-title”：“非线性泛函分析”，“author”：“K.Deimling”，“year”：“1985”，“unstructured”：“Deimling，K.：非线性函数分析。Springer，Heidelberg（1985）“}，{”key“：“39_CR11”，”doi-asserted-by“：”publisher“，”first page“：”357“，”doi“：”10.1016\/j.jsc.2004.11008“，“volume”：“39”，“author”：“H.Derksen”，“year”：“2005”，“unstructured”：“Derkson，H.，Jeandel，E.，Koiran，P.：量子自动机和代数群。j.符号计算\u00a039，357\u2013371（2005）”，“新闻标题”：“j。符号计算“}，{”key“：”39_CR12“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“832”，“doi”：“10.1007\/3-540-45022-X_70”，“volume-title”：“自动机、语言和编程”，“author”：“H.Fournier”，“year”：“2000”，“unstructured”：“Fournier，H.，Koiran，P.：下限并不比现实更容易。收录：Welzl，E.，Montanari，U.，Rolim，J.D.P.（编辑）ICALP 2000。LNCS，卷\u00a01853，第832页\u2013843。Springer，Heidelberg（2000）“}，{”key“：”39_CR13“，”doi-asserted-by“：”publisher“，”first page“：“236”，”doi“：”10.1073\/pnas.43.2.236“，”volume”：“43”，”author“：”R.M.Friedberg“，“year”：“1957”，“unstructured”：“Friedbeg，R.M.：两个不可比度的递归可枚举集合。Proc.Natl.Acad.Sci.\u00a043，236\u2013238（1957）“，”journal-title“：”程序。国家。阿卡德。科学。“}，{”key“：”39_CR14“，”doi-asserted-by“：”crossref“，”unstructured“：”Koiran，P.：Blum-Shub-Smale模型的弱版本。In:Proceedings FOCS 1993，pp.486\u2013495（1993）“，”doi“：”10.1109\/SFCS.1993.366838“}B“，”卷“：”133“，”作者“：”P.Koiran“，”年份”：“1994年”，“非结构化”：“Koiran，P.：用加法和顺序计算Reals。理论计算机科学\u00a0133，35\u201348（1994）”，“期刊标题”：“理论计算机科学”}，｛“密钥”：“39_CR16”，“doi断言”：“出版商”，“第一页”：“65”，“doi”：“10.1006\/jcom.1997.0433”，“卷”：“13”，“作者”：“P.Koiran”，“年份”：“1997”，“非结构化”：“Koiran，P.：代数闭域上机器常数的消除。《复杂性杂志》\u00a013，65\u201382（1997）“，“期刊标题”：“复杂性杂志”}，{“key”：“39_CR17”，“volume-title”：“组合群理论”，“author”：“R.C.Lyndon”，“year”：“1977”，“unstructured”：“Lyndon，R.C.，Schupp，P.E.：组合群理论。Springer，Heidelberg（1977）”}Michaux，C.：Machines surles r\u00e9els et probl\u00e8mes \n\n\n$\\mathcal{NP}$\n-完成。S\u00e9minaire de Structures Alg\u00e 9briques Ordonn\u00e-9es，Pr\u 00e9publications de l\u2019equipe de logique math\u00e9matique de Paris\u00a07（1990）“}，{“key”：“39_CR19”，“doi-asserted-by”：“crossref”，“unstructured”：“Michaux，C.：输出集可递归枚举的有序环。摘自：AMS会议录，第u00a0111卷，第569\u2013575页（1991）“，“DOI”：“10.1090”：“S0002-9939-1991-1041016-9”}，{“key”：“39_CR20”，“first page”：《391》，“volume”：第7卷，“author”：“A.A.Muchnik”，“year”：“1958”，“unstructured”：“Muchnik-A.A.：解决后2019的约简问题和算法理论中的某些其他问题。Trudy Moskov Mat。对象。\u00a07，391\u2013405（1958）“，“新闻标题”：“Trudy Moskov Mat.Obsc。“}，{”key“：”39_CR21“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first-page“：”467“，”doi“：”10.1007\/11537311_41“，”volume-title“：“计算理论基础”，”author“：”K.Meer“，”year“：”2005“，”unstructured“：”Meer，K.，Ziegler，M.：《2019年后现实问题的明确解决方案》。收录人：Li\u015bkiewicz，M.，Reischuk，R.（编辑）FCT 2005。LNCS，卷\u00a03623，第467\u2013478页。Springer，Heidelberg（2005）“}，{“key”：“39_CR22”，“unstructured”：“Meer，K.，Ziegler，M.：关于具有无限表示的一类群的单词问题（preprint 2006）”}，}，“key“：”39_CR23“，”first page“：“1”，“volume”：”44“，”author“P.S.Novikov”，“year”：“1959”，“非结构化”：“诺维科夫，P.S.：关于群论中单词问题的算法不可解性。Trudy Mat.Inst.Steklov\u00a044，1\u2013143（1959）“，”日记标题“：”Trudy Mat Inst.Steklov“}，{“key”：“39_CR24”，“doi-asserted-by”：“publisher”，“first page”：”284“，”doi“：”10.1090\/S0002-9904-1944-08111-1“，”volume“：”50“，”author“：”E.L.Post“，”year“：”1944“，“unstructured”：“Post，E.L.：正整数的递归可枚举集及其决策问题。牛市。阿默尔。数学。Soc.\u00a050284\u2013316（1944）“，”新闻标题“：”牛市。阿默尔。数学。Soc.“}，{”key“：”39_CR25“，”doi-asserted-by“：”publisher“，”first page“：“103”，”doi“：”10.2307\/2273358“，”volume“：：”45“，”author“：”J.V.Tucker“，”year“：”1980“，”unstructured“：”Tucker，J.V.：“可计算性和字段代数。J.符号逻辑\u00a045，103\u2013120（1980）“，”journal-title“：”J符号逻辑“}”，{“key”：“39_CR26“，”series-title“：”《逻辑与代数方法》，“第一页”：“317”，“卷标”：“计算机科学逻辑手册”，“作者”：“J.V.Tucker”，“年份”：“2000”，“非结构化”：“Tucker，J.V.，Zucker，J.I.：许多排序代数上的可计算函数和半可计算集。摘自：Abramskz，S.、Gabbay，D.、Maibaum，T.（编辑）《计算机科学逻辑手册》。《逻辑与代数方法》，第u00a0V卷，第317\u2013523页。牛津大学出版社，牛津（2000）“}，{“key”：“39_CR27”，“volume-title”：“可计算分析”，“author”：“K.Weihrauch”，“year”：“2001”，“unstructured”：“Weihrouch，K.：可计算分析。Springer，Heidelberg（2001）”}，“container-title“：[“计算障碍的逻辑方法”，“计算机科学中的讲义”]，“原文标题”：[]，“链接”：[{URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/11780342_39“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2019,1,25]]，”date-time“：“2019-01-25T11:14:57Z”，”timestamp“：1548414897000}，”score“：1，”resource“：{“primary”：{“URL”：“http://\/link.springer.com/10.1007\/11780342_39“}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[2006]]}，“ISBN”：[“9783540354666”，“978354354680”]，”references-count“：27，”URL“：”http://\/dx.doi.org\/101007\/117804233_39“，”relationship“：{}，）”ISSN“：[”0302-9743“，“1611-3349”]，“ISSN-type”：[{“值”：“0302-9743”，“类型”：“打印”}，{“数值”：“1611-349”，“键入“：”electronic“}]，“subject”：[]，“published”：{“date-parts”：[[2006]]}}