{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2023,10,27]]，“日期-时间”：“2023-10-27T12:09:40Z”，“时间戳”：16984085805757}，“引用-计数”：24，“发布者”：“IEEE”，“许可证”：[{“开始”：{'日期-部件“：[2021,6,29]]，”日期-时间“：”2021-06-29T00:00:00 Z“，”timestamp“：1624924800000}，”content-version“：”vor“，“延迟天数”：0，“URL”：“https://ieeexplore.ieee.org/Xplorehelp\/downloads\/license-information\/ieee.html”｝，｛“开始”：｛“日期部分”：[[2021,6,29]]，“日期时间”：“2021-06-29T00:00:00Z”，“时间戳”：1624924800000｝，“内容版本”：“stm-asf”，“延迟天数”：0，“URL”：“https://doi.org/10.15223\/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.9470738”，“类型”：“procesdings-article”，“created”：{“date-parts”：[[2021,7,7]]，“date-time”：“2021-07-07T20:14:07Z”，“timestamp”：1625688847000}，“source”：“Crossref”，“is-referenced-by-count”：1，“title”：[“SD-Regular Transducer Expressions for Aperiodic Transformations”]，“prefix”：“10.1109”，”author“[{”given“given”：”Luc“，“family”：“Dartois”，“sequence”：“first”，“affiliation”“：[]}，{“given”：“Paul”，“family”：“Gastin”，“sequence”：“additional”，“affiliation”：[]}，{“Givent”：“Shankara Narayanan”，“家族”：“Krishna”，“序列”：“附加”，“从属关系”：[]}，“成员”：“263”，“引用”：[{“key”：”ref10“，“首页”：“147”，《文章标题》：“一阶可定义字符串转换”，“卷”：“29”，“作者”：“filiot”，“年份”：“0”}，{“键”：“ref11”，“first page”：“245”，“article-title”：“Sur certaines operations de fermeture dans les langages rationnels”，“author”：“sch\u00fctzenberger”，“year”：“1975”，“新闻标题”：“Symposia Mathematica Vol XV（Convergno di Informatica Teorica INDAM Roma 1973）”}，{“key”：”ref12“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3-030-21363-3_1”}“密钥”：“ref13”，“doi断言者”：“publisher”，“doi”：“10.1145\/3209108.3209163”}，｛“key”：“ref14”，“文章标题”：“非周期性转换的Sd正则转换器表达式”，“author”：“dartois”，“year”：“2021”，“期刊标题”：“CoRR”｝，｛“key”：“ref15”，“doi断言者”：“publisher”，“doi”：“10.1002\/malq.19600060105”｝，｛“key”：“ref16”，“首页”：“89”，“article-title”：“欧式表达式中的有界同步延迟”，“author”：“diekert”，“year”：“0”}，{“key”：“ref17”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/s00224-013-9526-4”}“作者”：“佩林”，“年份”：“2004年”，“新闻标题”：“无限字词自动机半群逻辑与游戏”}，{“key”：“ref4”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3319-98654-8_8”}作者：“alur”，“year”：“2010”，“journal-title”：“第三十届软件技术和理论计算机科学基础国际会议FSTTCS 2010”}，{“key”：“ref5”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/3209108.3209182”}：“publisher”，“DOI”：“10.1016\/S0019-9958（65）90108-7”}，{“key”：“ref2”，“DOI-asserted-by”：“crossref”，”first page“：”53“，”DOI“：”10.1016\/0304-3975（94）90268-2“，”article-title“：一元二阶可定义图转导：一项调查[见MR1251992（94f:68009）]”，“volume”：”126“，”author“：”courcelle“，”year“：”1994“，”journal-title“：”理论计算科学“}，{“key”：“ref1”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/3711316.371512”}，{“密钥”：“ref9”，“首页”：“160”，“article-title”：“非周期性双向换能器和fo转导”，“卷”：“41”，“作者”：“carboard”，“年份”：“0”}“作者”：“达托瓦”，“年份”：“0”}，{“key”：“ref22”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/BFb0030294”}有理转义的逻辑和代数特征”，“卷”：“15”，“author”：“filiot”，“year”：“2019”，“journal-title”：“Log-Methods Compute Sci”}]，“event”：{“name”：“2021年第36届ACM\/IEEE计算机科学逻辑研讨会（LICS）”，“location”：“Rome，Italy”，“start”：{“date-parts”：[2021,6,29]]}，“end”：}“date-parts”：[[2021,7,2]}，”container-title“：[“2021年第36届ACM\/IEEE年度计算机科学逻辑研讨会（LICS）”]，“original-title”：[]，“link”：[{“URL”：“http://\/xplorestaging.IEEE.org\/ielx7\/9470497\/9470738.pdf？arnumber=9470738”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2022,]5,10]]，“date-time”：“2022-05-10T15:46:20Z”，“timestamp”：1652197580000}，“score”：1，“resource”：{“primary”：{“URL”：“https:\/\/ieeexplore.iee.org\/document\/9470738\/”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[2021,6,29]}，‘references-count’：24，”URL“：”http://\/dx.doi.org \/10.109 \/lics52264.2021.9470738“，”关系“：{}，”主题“：[]，”发布“：{“日期部分”：[[2021,6,29]]}}