{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2022,5,10]]，“日期-时间”：“2022-05-10T16:25:48Z”，“时间戳”：1652199948723}，“参考-计数”：22，“出版商”：“IEEE”，“许可证”：[{“开始”：{-“日期-零件”：[2021,6,29]]，”日期-时间“：“2021-06-29T00:00:00Z”，“timestamp”：1624924800000}，“content-version”：“vor”，“delay-in-days”：0，“URL”：“https:\/\/ieeexplore.iee.org\/Xplorehelp\/downloads\/license-information\/ieee.html”}，{“start”：{“date-parts”：[[2021,6,29]]，“date-time”：“2021-06-29T00:00:00Z”，“timestamp”：1624924800000}，“content-version”：“stm-asf”，“delay-in-days“：0，”URL“https:\\/doi.org\/10.1 5223\/policy-029“}，{“开始”：{“日期部分”：[[2021,6,29]]，“date-time”：“2021-06-29T00:00:00Z”，“timestamp”：1624924800000}，“content-version”：“stm-asf”，“delay-in-days”：0，“URL”：“https:\/\/doi.org\/10.15223\/policy-037”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[]，”published-print“：{”date-parts“：[2021,6,29]]}，“doi”：“10.1109\/lics52264.2021.9470688”，“类型”：“procesdings-article”，“created”：{“date-parts”：[[2021,7,7]]，“date-time”：“2021-07-07T20:14:07Z”，“timestamp”：1625688847000}，“source”：“Crossref”，“is-referenced-by-count”：0，“title”：[“From Finite-Valued Non-Deterministic Transducers to Deterministical Two-Tape Automata”]，“prefix”：“10.1109”，”author“：[{”given“Elisabet”，“family”：“Burjons”，“sequence”：“第一个”，“affiliation”：[]}，{“given”：“Fabian”，“family”：“Frei”，“sequence”：“additional”，“affeliance”：[]}，{“key”：“ref11”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/S0022-0000（68）80006-6”}，{“key”：“ref12”，“doi-asserted-by”：“publisher”，“doi”：“10.12016\/j.tcs.2010.08.024”}“2002年”，“新闻标题”：“计算机科学课堂讲稿”}，{“key”：“ref14”，“doi-asserted-by”：“publisher”，“doi”：“10.1147\/rd.32.0114”}，{“key”：”ref15“，”首页“：”127:1“，”article-title“：”从非确定性到多头部确定性有限状态变换器“，”author“：”raszyk“，”年份：“2019”，“journal-title”：“ICALP 2019”}0220042“}，{”键“：”参考17“，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/3-540-07407-4_22”}，{“key”：“ref18”，“doi-asserted-by”：”publisher“，”doi“：”10.1016\/S0022-0000（75）80014-6“}，”key“：”ref19“，”doi-assert-by“：”publister“，”doi“：publisher“，”doi“：”10.1007\/978-3-319-62809-7_10“}，{”key“：”ref3“，”doi-asserted-by“：“publisher”，“DOI”：“10.1007\/978-3642-31653-1_24”}，{“key”：“ref6”，“DOI-asserted-by”：“publicher”，“DI:”10.1007\/3-540-09510-1_8“}，}“key:”ref5“，”DOI-assert-by“：”publisher“，”DOI“：”10.1016\/0304-3975（77）90049-4“}10.1147\/rd.91.0047“}，{”key“：”ref7“，”DOI-asserted-by“：”publisher“，”DOI“：“10.1007\/978-3-642-60207-8_6”}，{“key”：“ref2”，“article-title”：“与本论文相关的形式化”，“author”：“burjons”，“year”：“2021”}8“}，{”键“：”参考20“，”首页“：”749“，”文章标题“：“关于有限传感器的价值”，“卷”：“27”，“作者”：“韦伯”，“年份”：“1989”，“期刊标题”：“信息学报”}.1995.1071“}]，”事件“：{”名称“：“2021年第36届ACM \/IEEE年度计算机科学逻辑研讨会（LICS）”，“地点”：“意大利罗马”，“开始”：{“日期部分”：[[2021,6,29]]}，“结束”：{“日期部分“：[2021,7,2]}，”container-title“：[”2021年ACM \/IEEE第36届年度计算机科学逻辑学研讨会（LISS）“]，”原文标题“：[]，”链接“：[{”URL“：“http://\/xplorestaging.ieee.org\/ielx7\/9470497\/9470501\/09470688.pdf？arnumber=9470688”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2022,5,10]]，“date-time”：”2022-05-10T15:46:21Z“，”timestamp“1652197581000}，“score”：1，“resource”：{“主要”：{“URL”：“https:\/\/ieeexplore.iee.org\/document\/9470688\/”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期parts”：[[2021,6,29]]}，”引用计数“：22，”URL“：”http://\/dx.doi.org\/10.109\/lics52264.2021.9470688“，”关系“：{}”，“主题”：[[]，”已发布“：{”日期parts“：[2021,6,29]”6,29]]}}}