｛“status”：“ok”，“message type”：“work”，“message version”：“1.0.0”，“message”：｛“indexed”：｛“date parts”：[[2024,5,28]，“date time”：“2024-05-28T09:50:43Z”，“timestamp”：1716889843880｝，“publisher location”：“Cham”，“reference count”：26，“publisher”：“Springer International Publishing”，“isbn type”：[｛“value”：“9783030524814”，“type”：“print”｝，｛“value”：“9783030524821”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2020,1,1]]，“date-time”：“2020-01-01T00:00:00Z”，“timestamp”：1577836800000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com\/tdm”}0:00:00Z“，”时间戳“：1577836800000}，”内容版本“：”vor“，“delay-in-days”：0，“URL”：“http://www.springer.com\/tdm”}]，“content-domain”：{“domain”:[“link.springer.com”]，“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”：{“date-parts”：[[2020]]}，”DOI“：”10.1007\/978-3-030-52482-1_7“，”type“：”book-capter“，”created“：{”date-part“：[[[2020,7,8]]，“日期时间”：“2020-07-08T16:03:46Z”，“时间戳”：1594224226000}，“page”：“128-143”，“update-policy”：”http://\/dx.doi.org\/10.1007\/springer_crossmark_policy“，”source“：”Crossref“，“is-referenced-by-count”：3，“title”：[“On the Expressivity of Total Reversible Programming Languages”]，“prefix”：“10.1007”，“author”：[{“givend”：“Armando B.”，“family”：“Matos”，“sequence”：“first”，“affiliation”：[]}，{“ORCID”：“http://\/orcid.org\/00000-0002-4126-0170”，“authenticated-orcid”：false，“given”：“Luca”，“family”：“Paolini”，“sequence”：“additional”，“affiliation”：[]}，{“orcid”：“，”published-online“：{”date-parts“：[[2020,7,9]]}，“reference”：[{“key”：“7_CR1”，“doi-asserted-by”：“publisher”、“unstructured”：“Axelsen，H.B.，Gl\u00fcck，R.：可逆程序计算什么？In:Hofmann，M.（ed.）Foundations of Software Science and Computational Structures，pp.42\u201356。斯普林格，海德堡（2011）。\nhttps:\/\/doi.org\/10.1007\/s00236-015-0253-y“，”doi“：”10.1007\/s002365-015-0253-y“}，{“问题”：“5”，“密钥”：“7_CR2”，“doi-asserted-by”：“发布者”，“首页”：“509”，“doi”：“10.1007\/s 00236-015-0253-y”，“卷”：“53”，“作者”：“HB Axelsen”，“年份”：“2016”，“非结构化”：“Axelsen，H.B.，Gl\u00fcck，R.：关于可逆图灵机及其功能通用性。信息学学报53（5），509\u2013543（2016）。\nhttps:\/\/doi.org\/10.1007\/s00236-015-0253-y“，”journal-title“：”Acta Informatica“}，{”issue“：”6“，”key“：”7_CR3“，”doi-asserted-by“：”publisher“，”first page“：“525”，”doi“：”10.1147\/rd.176.0525“，“volume”：“17”，“author”：“CH Bennett”，“year”：“1973”，“unstructured”：“Bennett，C.H.：计算的逻辑可逆性。IBM J.研究开发17（6），525\u2013532（1973）。\nhttps:\/\/doi.org\/10.1147\/rd.176.0525“，”journal-title“：”IBM J.Res.Dev.“}，{“key”：“7_CR4”，“volume-title”：“A Survey of Modern Algebra”，“author”：“G Birkhoff”，“year”：“1977”，“unstructured”：“Birkhof，G.，Mac Lane，S.：《现代代数概览》，第4版。纽约麦克米伦出版社（1977）”，“edition”：“4”}，“非结构化”：“Calude，C.：计算复杂性理论。Elsevier（1988），《离散数学年鉴-专题论文35》}，{“key”：“7_CR6”，“doi-asserted-by”：“publisher”，“unstructured”：“Gl\u00fcck，R.，Yokoyama，T.：可逆命令式语言的线性时间自解释。Compute.Softw.33（3），108\u2013128（2016）。\nhttps:\/\/doi.org\/10.11309\/jssst.33.3_108”，“doi”：“10.11309\/jssst.33.3-108”}，{“key“：”7_CR7“，”doi-asserted-by“：”publisher“，”unstructured“：”Gl\u00fcck，R.，Kaarsgaard，R.：结构化可逆流程图语言的分类基础：健全性和充分性。日志。方法计算。科学。2018年9月14日（3）。\nhttps:\/\/doi.org\/10.23638\/LMCS-14（3:16）2018\n\n，\nhttps:\/\/LMCS.episciences.org\/4802“，”doi“：”10.23638\/LMCS-14（3:16，2018“}，{“key”：“7_CR8”，“doi-asserted-by”：“crossref”，“unstructured”：“Jacobsen，P.A.H.，Kaarsgaard，R.，Thomsen，M.K.：CoreFun:一种类型化的功能可逆核心语言。In:Kari，J.，Ulidowski，I.（编辑）可逆计算。第304页\u2013321。Springer（2018）“，”DOI“：”10.1007\/978-319-99498-7_21“}，{”issue“：”1\u20132“，”key“：”7_CR9“，”DOI-asserted-by“：”publisher“，”first page“：“139”，“DOI”：“10.1016\/j.tcs.2003.10.016”，“volume”：“318”，“author”：“L Kristiansen”，“year”：“2004”，“unstructured”：“Kristiansen，L.，Niggl，K.H.：关于命令式编程语言的计算复杂性。理论。计算。科学。318（2013年1月2日）、1392013年161（2004年）。\nhttps:\/\/doi.org\/10.1016\/j.tcs.2003.10.016“，”新闻标题“：”理论。计算。科学。“}，{”issue“：”3“，”key“：”7_CR10“，”doi-asserted-by“：”publisher“，”first page“：“2063”，“doi”：“10.1016\/S0304-3975（02）00486-3”，“volume”：“290”，“author”：“AB Matos”，“year”：“2003”，“unstructured”：“Matos，A.B.：简单可逆语言中的线性程序。Theoret.Compute.Sci.290（3），2063\u20132074（2003）。\nhttps:\ \\/doi.org\\10.1016\/S0304-3975（02）00486-3“，“新闻标题”：“理论。计算。科学。“}，{”key“：”7_CR11“，”unstructured“：”Matos，A.B.：注册可逆语言（正在进行中）。技术报告，LIACC（2014）。\nhttps:\/\/www.dcc.fc.up.pt\/~acm\/questionsv.pdf“}”，{“key”：“7_CR12”，“unstructure”：“”Matos，A.B.，Paolini，L.，Roversi，L.：一般和线性SRL程序的不动点问题是不可判定的。收录：Aldini，A.，Bernardo，M.（编辑）《第19届意大利理论计算机科学会议论文集》，意大利乌尔比诺，2013年9月18日，2018年9月20日。CEUR研讨会论文集，第2243卷，第128\u2013139页。CEUR-WS.org（2018）。\nhttp:\/\/ceur-ws.org\/Vol-2243\/paper12.pdf“}，{”key“：”7_CR13“，”doi-asserted-by“：”publisher“，”first-page“：”143“，“doi”：“10.1016\/j.tcs.2019.10.005”，“volume”：“813”，“author”：“AB Matos”，“year”：“2020”，“unstructured”：“Matos，A.B.，Paolini，L.，Roversi，L.：简单可逆语言的不动点问题。西奥。计算。科学。813143\u2013154（2020）。\nhttp:\/\/doi.org\/10.1016\/j.tcs.2019.10.005\n\n。nhttp:\/\/www.sciencedirect.com/science\/article\/pii\/S0304397519306280“，”journal-title“：”Theor。计算。科学。“}，{”key“：”7_CR14“，”unstructured“：”Meyer，A.R.，Ritchie，D.M.：计算复杂性和程序结构。技术报告。RC 1817，IBM（1967）“}”，{“key”：“7_CR15”，“doi-asserted-by”：“publisher”，“unstructure”：“”Meyer，A.R.，Ritchie，D.M.：循环程序的复杂性。摘自：《第二十二届全国会议记录》，第465\u2013469页。ACM，纽约（1967年）。\nhttps:\/\/doi.org\/10.1145\/800196.806014“，”doi“：”10.1145\/80096.806015“}，{“key”：“7_CR16”，“volume-title”：“量子计算与量子信息：十周年版”，“author”：“MA Nielsen”，“year”：“2011”，“unstructured”：“Nielsen，M.A.，Chuang，I.L.：《量子计算与量子信息：十周年纪念版》，第10版。剑桥大学出版社，纽约（2011）“，“edition”：“10”}，{“key”：“7_CR17”，“volume-title”：“Classical Recursion Theory-The Theory of Functions and Sets of Natural Number”，“author”：“P Odifreddi”，“year”：“1989”，“unstructured”：“Odifred di，P.：经典递归理论-The Theore of Fuctions and Sets ofNatural number”，第一卷。《逻辑与数学基础研究》，Elsevier North Holland（1989）“}，{“问题”：“18605”，“关键”：“7_CR18”，“doi-asserted-by”：“publisher”，“首页”：“227”，“doi”：“10.1016\/j.entcs.2016.03.016”，“卷”：“322”，“作者”：“L Paolini”，“年份”：“2016”，“非结构化”：“Paolini，L.，Piccolo，M.，Roversi，L.：一类可逆的本原递归函数。电子。注释Theor。计算。科学。322（18605），227\u2013242（2016）。\nhttps:\/\/doi.org\/10.1016\/j.entcs.2016.03.016“，”journal-title“：”Electron“。注释Theor。计算。科学。}，{“key”：“7_CR19”，“doi-asserted-by”：“publisher”，“unstructured”：“Paolini，L.，Piccolo，M.，Roversi，L.：可逆编程语言的认证研究。收录于：Uustalu，T.（ed.）第21届国际证明和程序类型会议（Types 2015）。莱布尼茨国际信息学学报（LIPIcs），第69卷，第7:1\u20137:21页。Schloss Dagstuhl-Leibniz Zentrum fuer Informatik，德国（2018）。\nhttps:\/\/doi.org\/10.4230\/LIPIcs。类型2015.7“，”DOI“：”10.4230\/LIPIcs。TYPES.2015.7“}，{”issue“：”3“，”key“：”7_CR20“，”doi-asserted-by“：”publisher“，”first page“：“233”，”doi“：”10.1007\/s00354-018-0039-1“，“volume”：“36”，“author”：“L Paolini”，“year”：“2018”，“unstructured”：“Paolini，L.，Piccolo，M.，Roversi，L.：关于一类可逆本原递归函数及其turing-complete扩展。新通用计算36（3），233\u2013256（2018）。\nhttps:\/\/doi.org\/10.1007\/s00354-018-0039-1“，”journal-title“：”新一代。计算。“}，{”key“：”7_CR21“，”doi-asserted-by“：”publisher“，”first page“：“218”，“doi”：“10.1016\/j.tcs.2019.11.029”，“volume”：“813”，“author”：“L Paolini”，“year”：“2020”，“unstructured”：“Paolini，L.，Piccolo，M.，Roversi，L.：一类基本递归完全的递归置换。Theor.Comput.Sci.813，218\u2013233（2020）.\nhttps:\/\/doi.org\/10.1016\/j.tcs.2019.11.029\n\n 2016年提交给期刊“，”journal-title“：”Theor。计算。科学。“}，{”issue“：“4”，”key“：“7_CR22”，”doi-asserted-by“：”publisher“，”first page“：”941“，”doi“：”10.1007\/s10817-019-09518-y“，”volume“：：”63“，”author“：”L Paolini“，”year“：”2019“，”unstructured“：”Paolini，L.，Piccolo，M.，Zorzi，M.：QPCF：高阶语言和量子电路。J.Autom.Reasoning 63（4），941\u2013966（2019）.\nhttps:\/\/doi.org\/10.1007\/s10817-019-09518-y“，”journal-title“：”J.Autom。推理“}，{“key”：“7_CR23”，“doi-asserted-by”：“publisher”，“unstructured”：“Paolini，L.，Roversi，L.和Zorzi，M.：量子编程变得容易。摘自：Ehrhard，T.，Fern\u00e1ndez，M.，Paiva，V.d.，Tortora de Falco，L.（编辑）线性逻辑和应用中的线性和趋势联合国际研讨会论文集。《理论计算机科学电子论文集》，英国牛津，20138年7月7日，2018年7月，第292卷，第133页，2013147。开放出版协会（2019年）。\nhttps:\/\/doi.org\/10.4204\/EPTCS.292.8“，“doi”：“10.4204\/EPTSC.292.8”}，{“key”：“7_CR24”，“doi-asserted-by”：“publisher”，“unstructured”：“Paolini，L.，Zorzi，M.：$$\\sf qPCF$$：量子电路计算语言。In:Gopal，T.V.，J\u00e4ger，G.，Steila，S.（eds.）TAMC 2017。LNCS，第10185卷，第455\u2013469页。查姆施普林格（2017）。\nhttps:\/\/doi.org\/10.1007\/978-3-319-55911-7_33“，”doi“：”10.1007\/9783-319-55911-7_33 y“：”publisher“，”DOI“：”10.1007\/978-3-642-60322-8“，”volume-title“：”理论计算机科学的宝石“，”author“：”U Schoning“，”year“：”1998“，”unstructured“：”Schoning，U.：”理论计算科学的宝石。Springer，Heidelberg（1998）“}]，“容器标题”：[“可逆计算”，“计算机科学讲义”]，“原标题”：[]，“链接”：[{“URL”：“http:\/\/link.Springer.com\/content/pdf\/10.1007\/978-3-030-52482-1_7”，“内容类型”：“未指定”，“内容版本”：“vor”，“预期应用程序”：“相似性检查”}]，“存放”：{date-parts“：[[2020,7,8]]，“date-time”：“2020-07-08T17:07:31Z”，“timestamp”：1594228051000}，“score”：1，“resource”：{“primary”：}“URL”：“http://\/link.springer.com\/10.1007\/978-3-030-52482-1_7”}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-part“[2020]]}”，“ISBN”：[“9783030524814“，”9783030524821“]，”references-count“：26，”URL“：”http:\/\/dx.doi.org\/10.1007\/978-3-030-52482-1_7“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”value“：”03029743“，”type“:”print“}，{”value“：”1611-349“，”类型“：”electronic“}]，”subject“：【】，”published“：{”date-parts“：【2020】}，“assertion”：【{”值“：”9 2020年7月“，”订单“：1，”名称“：”first_online“，”标签“：”first online“，“group”：{“name”：“ChapterHistory“，”label“：”Chapter History”}}，{“value”：“RC”，“order”：1，“name”：“conference_acrombit”，“label”：“conference缩写”，“group”：{“name”:“ConferenceInfo”，“table”：“会议信息”}，}“values”：“可逆计算国际会议”，“订单”：2，“name“conference_name”，“标签”：“大会名称”，“群组”：{name”：”ConferenceInfo“，”label“：”会议信息“}}，{“value”：“Oslo”，“order”：3，“name”：“Conference_city”，“label”：“ConferenceCity”，“group”：{“name”:“ConferenceInfo”，“table”：“会议信息”}}2020年“order“：5，”name“：”conference_year“，”label“：”会议年份“，”group“：conference_end_date“，”label“：”会议结束日期“，”group“：“”group“：{”name“：”ConferenceInfo“，”label“：”conferenceInformation“}}，”value“：”http://\/www.revcomp.eu\/“，”order“：11，“name”：“Conference_url”，“label”：“ConferenceURL”，“group”：{“name”:“ConferenceInfo”，“标签”：“会议信息”}}“：”ConfEventPeerReviewInformation“，”label“：”同行评审信息（由会议组织者提供）“}}，{“value”：“Easychair”，“order”：2，“name”：“conference_management_system”，“label”：“conference management system”，“group”：{“name”:“ConfEventPeerReviewInformation”，“table”：“同行评审信息number_of_submissions_sent_for_review“，”label“：“发送供审阅的提交数”，“group”：{“name”：“ConfEventPeerReviewInformation”，“label”：“同行审阅信息（由会议组织者提供）”}}，{“value”：“11”，“order”：4，“name”:“number_ of_full_papers_accepted”ConfEventPeerReviewInformation“，”label“：”同行评审信息（由会议组织者提供）50%-该值通过公式“接受的完整论文数量/发送供审查的提交数量*100”计算，然后四舍五入为整数。“，”order“：6，”name“：”acceptance_rate_of_full_papers“，”label“：”全文接受率“，”group“：ConfEventPeerReviewInformation“，”label“：”同行评议信息（由会议组织者提供）“}}，{“value”：“2”，“order”：8，“name”：“average_number_of_papers_per_reviewer”，“label”：“每个审阅者的平均论文数”，“group”：}，{“value”：“Yes”，“order”：9，“name”：“external_reviewers_involved”，“label”：“涉及的外部审阅者”，“group”：{“name”:“ConfEventPeerReviewInformation”，“table”：“同行审阅信息（由会议组织者提供）”}}，{”value“：”由于新冠肺炎疫情，会议实际上已经召开。“，”order“：10，”name“：“additional_info_on_review_process”，“label”：“审阅过程的附加信息”，“group”：{“name”：“ConfEventPeerReviewInformation”，“table”：“同行审阅信息（由会议组织者提供）”}}，{“value”：“此内容已向所有人开放。”，“name”:“free”，“标签”：“free to read”}]}