{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,4]]，“日期时间”：“2024-09-04T21:58:26Z”，“时间戳”：1725487106318}，“出版商位置”：“柏林，海德堡”，“参考计数”：18，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”type“打印”，“值”：“9783838 540732273“}，{”类型“：“electronic”，“value”：“9783540732280”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2007]]}，”DOI“：”10.1007\/978-3-540-73228-0_21“，”type“：”book-capter“，”created“：”{“date-part”：[2007,7,16]]，“date-time”：“2007-07-16T15:57:11Z“，”时间戳“：1184601431000}，”页面“：”290-304“，“source”：“Crossref”，“is-referenced-by-count”：1，“title”：[“可行性和对角化的预测分析”]，“prefix”：“10.1007”，”author“：[{”given“：”Jean-Yves“，”family“：”Marion“，”sequence“：”first“，”affiliation“：[]}]，“member”：“297”，“reference”：[}“key”：007\/BF01459088“，”卷“：“99”，“author”：“W.Ackermann”，“year”：“1928”，“unstructured”：“阿克曼，W.：Zum Hilbertschen Aufbau der reellen Zahlen.Math.annalen\u00a099，118\u2013133（1928）”，“journal-title”：“Math.annen”}，{“key”：“21_CR2”，“doi-asserted-by”：“publisher”，“first-pages”：“97”，“doi”：“10.1007\/BF01201998”，《卷》：“2”，“作者”：“S.Bellantoni”，“年份”：“1992年”，“非结构化”：“Bellantoni，S.，Cook，S.：多时间函数的一种新的递归理论表征。计算复杂性\u00a02，97\u2013110（1992）”，“日志标题”：“计算复杂性”}，{“问题”：“2”，“键”：“21_CR3”，“doi-asserted-by”：“publisher”，“首页”：“401”，”doi“10.1137\/S00975979528175X”，“卷”：“29”，“作者”：“S。Bellantoni，“年份”：“1999年”，“非结构化”：“Bellantuni，S.，Niggl，K.-H.：排列原始递归：重新访问低Grzegorczyk类。SIAM计算机杂志\u00a029（2），401\u2013415（1999）“，”期刊标题“：”SIAM计算机期刊“}，{“issue”：“1”，“key”：“21_CR4”，“doi-asserted-by”：“publisher”，“first-page”：“95”，“doi”：“10.1017\/S0956796800003853”，“volume”：”11“author”：“S.Caporaso”，”年份“2001”，“unstructured”：“Caporaso，S.、Covino，E.、Pani，G.：分类问题的谓词方法。J.功能。程序。\u00a011（1），95\u2013116（2001）“，“新闻标题”：“J.Funct。程序。}，{“key”：“21_CR5”，“first-page”：“24”，“volume-title”：“逻辑、方法论和科学哲学国际会议论文集”，“author”：“A.Cobham”，“year”：“1962”，“unstructured”：“Cobham.A.：函数的内在计算困难。In:Bar-Hillel，Y.（ed.）《逻辑、方法论和科学哲学国际会议论文集》，第24\u201330页。North-Holland，Amsterdam（1962）“}，{”key“：”21_CR6“，”doi-asserted-by“：”crossref“，”unstructured“：”G\u00f6del，K.：\u00dcber eine bisher noch nicht ben\u00fctzte Erweiterung des finiten Standpunktes.Dialectica\u00a012，280\u2013287（1958）由A.S.重新出版，附有英文翻译和注释。库尔特·特罗尔斯特拉：作品集，第二卷。S.Feferman，ed.牛津大学出版社，牛津（1990）“，”DOI“：”10.1111\/j.1746-8361.1958.tb01464.x“}，{“key”：“21_CR7”，“DOI-asserted-by”：“crossref”，“DOI”：“10.7551\/mitpress\/2003.001.0001”，“volume-title”：“从编程角度看，可计算性和复杂性”，“author”：“N.Jones”，“year”：“1997”，“unstructured”：“Jones，N.：从编程的角度来看，可计算性和复杂性。麻省理工学院出版社，剑桥（1997）“}，{”issue“：”4“，”key“：”21_CR8“，”doi-asserted-by“：”publisher“，”first page“：“713”，”doi“：”10.1017\/S0960129506005421“，”volume“:”16“，”author“：”U.Lago Dal“，”year“：”2006“，”unstructured“：”Dal Lago，U.，Baillot，P.：Light affine logic，uniformed coding and多项式time.Mathematical Structures in Computer Science\u00a016（4），713\u2013733（2006）“，”journal-title“：“计算机科学中的数学结构”}，{“volume-title”：“LICS\u201991”，“year”：“1991”，“author”：“D.Leivant”，“key”：“21_CR9”，“unstructured”：“Leevant，D.：计算可行性的基本描述。in:LICS\u 201991。第六届IEEE计算机科学逻辑研讨会论文集，IEEE计算机社会出版社，Los Alamitos（1991）“}，{“key”：“21_CR10”，“doi-asserted-by”：“crossref”，“unstructured”：“Leivant，D.：谓词递归和计算复杂性I：单词递归和多时间。in:Clote，P.，Remmel，J.（eds.）可行性数学II，Birkh\u00e4user，pp.320\u2013343（1994）“，“DOI”：“10.1007\/978-1-4612-2566-9_11”}，{“问题”：“1-3”，“关键”：“21_CR11”，“DOI-asserted-by”：“出版商”，“首页”：“209”，“DOI:“10.1016\/S0168-0072（98）00040-2”，“卷”：“96”，“作者”：“D.Leivant”，“年份”：“1999”，“非结构化”：“Leivant，D.：分支递归和计算复杂性III：更高类型递归和初等复杂性。《纯粹与应用逻辑年鉴》\u00a096（1-3），209\u2013229（1999），“期刊标题”：《纯粹与应用逻辑年鉴》}，{“问题”：“1,2”，“关键”：“21_CR12”，“doi断言”：“crossref”，“首页”：“167”，“doi”：“10.3233\/FI-19931-207”，“卷”：“19”，“作者”：“D.Leivant”，“年份”：“1993”，“非结构化”：“Leivant，D.，Marion，J.-Y.：多重时间的Lambda演算特征。Fundamental Informaticae\u00a019（1,2），167\u2013184（1993）“，”journal-title“：”Fundamenta Informaticae“}，{”issue“：”1-2“，”key“：”21_CR13“，”doi-asserted-by“：”publisher“，”first page“：“192”，“doi”：“10.1016\/S0304-3975（99）00209-1”，“volume”：“236”，“author”：“D.Leivant”，”year“：”2000“，”unstructured“：”Leivant，D.，Marion，J.-Y.：通过分支递归表征交替测井时间。理论计算机科学\u00a0236（1-2），192\u2013208（2000）“，”杂志标题“：”理论计算机科学“}，{“key”：“21_CR14”，“unstructured”：“Neergaard，P.M.，Mairson，H.：Lal是平方：轻仿射和逻辑中的表示和表达。in：隐式计算复杂性（2002）“}publisher“，”first page“：”321“，”DOI“：”10.2178 \/bsl\/112038991“，“volume”：“11”，“author”：“H.Simmon”，“year”：“2005”，“unstructured”：“Simmon，H.：作为递归技术的分层。符号逻辑公报\u00a011（3），321\u2013350（2005）“，”期刊标题“：”符号逻辑公报“}，{“key”：“21_CR16”，“doi-asserted-by”：“publisher”，“first page”：”177“，”doi“：”10.1007\/BF01620765“，”volume“：”27“，”author“：”H.Simmons“，”year“：”1988“，”unstructured“：”Simmons，H.：原始递归领域。数学逻辑档案馆\u00a027，177\u2013188（1988）“，”期刊标题“：”数学逻辑档案“}，{“key”：“21_CR17”，“unstructured”：“Simmons，H.：衍生与计算。理论计算机科学丛书，剑桥，vol.\u00a 051（2000）”}，}，”key“：”21_CR18“，”unstructure“：”Sorensen，M.，Urzyczyn，P.：关于咖喱-霍华德同构的讲座。DIKU-raport 98\/14（1998）“}]，“container-title”：[“计算机科学课堂讲稿”，“Lambda Calculi和应用程序类型”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73228-0_21”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}，“存放”：{日期部分”：[[2021,8,19]]，“日期-时间”：“2021-08-19T10:53:46Z”，“时间戳”：1629370426000｝，“分数”：1，“资源”：｛“主要”：｛“URL”：“http:\/\/link.springer.com\/10.1007\/978-3-540-73228-0_21”｝，“副标题”：[]，“短标题”：[]，“已发布”：｛“日期部分”：[[2007]]｝，“国际标准图书编号”：[“9783540732273”，“9783540732280”]，“引用计数”：18，“URL”：“http:\/\/dx.doi.org\/10.1007\/978-3-540-73228-0_21“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”类型“：”打印“，”值“：”0302-7743“}，{”型号“：”电子“，”数值“：”1611-33049“}]，”主题“：[]，”发布“：{”日期部分“：[2007]]}}}}