{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部分”：[[2024,9,7]]，“日期-时间”：“2024-09-07T04:43:20Z”，“时间戳”：1725684200788}，“出版商位置”：“美国纽约州纽约市”，“引用-计数”：24，“出版者”：“ACM”，“内容-域”：“{”域：[“dl.ACM.org”]，“交叉标记-re striction“：true}，”short-container-title“（限制）：[]，“published-print”：{“date-parts”：[[2014,7,14]]}，“DOI”：“10.1145\/2603088.2603118”，“type”：“proceedings-article”，“created”：{“date-parts”：[2014,7,28]]，“date-time”：“2014-07-28T09:21:45Z”，“timestamp”：1406539305000}，”page“：”1-10“update-policy”：”http://\/dx.DOI.org\/10.1145\/crossmark-policy“，”source“：”Crossref“，”is-referenced-by-count“：3，”title“：[“加权卵石行走自动机的逻辑特征”]，“前缀”：“10.1145”，“卷”：“3”，“作者”：[{“给定”：“Benedikt”，”family“：”Bollig“，”sequence“：”first“，”affiliation“：[{name“：”LSV，ENS Cachan，CNRS，Inria，Cachan，France“}]}，{given“：”Paul“，”faily“：“Gastin”，“sequence”：“additional”，“affiliance”：[}“name”：“LSV、ENS Cachan、CNRS、Inria、Cachan，France”}]}，{“given”：“Benjamin”，“family”：“Monmege”，“sequence”：“additional”，“affiliation”：[{“name”：“University\u00e9 Libre de Bruxelles，Belgium”}]]，{”given“：”Marc“，”family“：”Zeitoun“，”sequence“：”additional“，”affiliance“:[{”name“：”Bordeaux University，LaBRI，CNRS，France“}]}]，”成员“：”320“，”在线发布“：{“date-parts”：[[2014,7,14]]}，“reference”：[{“key”：“e_1_3_2_1_1_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1145\/1516512.1516518“}，{“密钥”：“e_1_3_1_2_1”第一页“：”587“，”volume-title“：”ICALP’10会议记录“，”author“：”Bollig B.“，”year“：“2010年”，“非结构化”：“B.Bollig、P.Gastin、B.Monmege和M.Zeitoun。卵石加权自动机和传递闭包逻辑。《ICALP'10会议录》，LNCS第6199卷，第587-598页。Springer，2010年。B.Bollig-P.Gassin、B.Monmege和M。泽通。卵石加权自动机和传递闭包逻辑。《ICALP’10会议录》，LNCS第6199卷，第587-598页。Springer，2010.“}，{”key“：”e_1_3_2_1_4_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1007\/978-3642-37075-5_25”}，“key”：“e_1_ 3_2_1 _5_1”，“doi-assert-by”：“publisher”，”doi“：”10.1002\/malq.19600060105“}“：”e_1_3_2_1_6_1“，”非结构化“：”J.H。康威。正则代数与有限机。查普曼和霍尔，1971年。J.H.康韦。正则代数和有限机器。Chapman&Hall，1971.“}，{”key“：”e_1_3_2_1_7_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1007\/BF01204169”}，“首页”：“175”，“卷时间”：“加权自动机和加权逻辑。Droste et al.{9}”，”author“：”Droste M.，“key”：“e_1_3_2_1_8_1”，《非结构化》：“M.Droste and P.Gastin。加权自动机和加权逻辑。Droste等人{9}，第5章，第175-211页。M.Droste和P.Gastin。加权自动机和加权逻辑。Droste et al.{9}，第5章，第175-211页。尚卡尔。自动机理论的现代应用。世界科学出版社，2011年。D.D’Souza和P.Shankar。自动机理论的现代应用。世界科学出版社，2011.“}，{”key“：”e_1_3_2_11_1“，”doi-asserted-by“：”publisher“，”doi“：”10.1090\/S0002-9947-1961-0139530-9“}”，{“key”：“e_1_ 3_2_12_1”，“doi-assert-by”：“crossref”，“首页”：“72”，“doi”：“10.1007\/978-3642-60207-8_7”，“volume-title”：“树行卵石自动机。珠宝是永恒的，是为了纪念阿尔托·萨洛马而对理论计算机科学的贡献”，“作者”：“恩格弗里特·J·”，“年份”：“1999年”，“非结构化”：“J·恩格弗里特和H·J·胡格布姆。树行卵石自动机。珠宝是永恒的，为纪念阿尔托·萨洛马而对理论计算机科学作出的贡献，第72-83页，1999年。J.Engelfriet和H.J.Hoogeboom。树行卵石自动机。珠宝是永恒的，为纪念阿尔托·萨洛马对理论计算机科学的贡献，第72-83页，1999年。吊杆。带嵌套卵石的自动机用传递闭包捕获一阶逻辑。LMCS，3:1--272007年。J.Engelfriet和H.J.Hoogeboom。带嵌套卵石的自动机用传递闭包捕获一阶逻辑。LMCS，3:1--272007.“，”journal-title“：”LMCS“}，{”key“：”e_1_3_2_14_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145 \/1265530.1265540”}，“key”：“e_1_ 3_2_1_16_1”，“doi-assert-by”：“publisher”，”doi“：”10.1007 \/s00224-009-9225-3“}”，{“key“”：”e_ 1_3_2 _17_1“”，“doi-asserted-by”“publisher”，“doi”：“10.1016\/j.tcs.2014.02.034”}，{“key”：“e_1_3_2_18_1”doi-asserted-by“：”publisher“，”doi“：”10.1109\/LICS.2013.16“}，{“key”：“e_1_3_2_19_1”，“series-title”：“LNCS”，“首页”：“751”，“volume-title”：”MFCS'98“，“author”：“Matz O.”，“year”：“1998”，“unstructured”：“O。马茨。一个量词将用于图片上的存在一元二阶逻辑。在MFCS’98中，LNCS第1450卷，第751-759页。斯普林格，1998年。O.马茨。一个量词将用于图片上的存在一元二阶逻辑。在MFCS’98中，LNCS第1450卷，第751-759页。Springer，1998.“}，{”volume-title“：”ENS de Cachan“，”year“：”2013“，”author“：”Monmege B.“，”key“：”e_1_3_2_1_20_1“，“unstructured”：“B.Monmege。定量属性的规范与验证：表达式、逻辑与自动机。博士论文，ENS de Cashan，2013.B。蒙梅吉。定量性质的规范和验证：表达式、逻辑学和自动机。ENS de Cachan博士论文，2013。“}，{”key“：”e_1_3_2_1_21_1“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/BF00288647“}”，{“key”：“e_1_ 3_2_1_2 2_1”，”doi asserted-by“：10.1016\/0022-0000（82）90016-2“}，{“key”：“e_1_3_2_1_24_1”，“series-title”：“LNCS”，“第一页“：”441“，”卷标题“：”91年ICALP会议记录“，”作者“：”托马斯·W“，”年份“：”1991“，”非结构化“：”W·托马斯“。关于逻辑、平铺和自动机。《ICALP’91会议录》，LNCS第510卷，第441-453页。施普林格，1991年。W·托马斯。关于逻辑、平铺和自动机。《ICALP’91会议录》，LNCS第510卷，第441-453页。Springer，1991年。“}，{”key“：”e_1_3_2_1_25_1“，”first page“：。特拉赫滕布罗特。有限自动机和一元谓词的逻辑。Doklady Akademii Nauk SSSR，149:326-3291961。“，“journal-title”：“Doklady-Akademii-Nauk SSSR”}]，“event”：{“name”：“CSL-LICS’14:第二十届EACSL计算机科学逻辑年会联席会议”，“赞助商”：[“SIGLOG ACM逻辑和计算特别兴趣小组”，“EACSL欧洲计算机科学逻辑协会”，“IEEE-CS\\DATC IEEE Computer Society”，“SIGACT ACM算法和计算理论特别兴趣小组”]，“地点”：“奥地利维也纳”，“首字母缩写”：“CSL-LICS‘14”}，“container-title”：[“第二十届EACSL计算机科学逻辑年会（CSL）联席会议记录和第二十届ACM \/IEEE年度计算机科学逻辑研讨会（LICS）“]，”original-title“：[]，”link“：[{”URL“：”https:\/\/dl.ACM.org\/doi\/pdf\/10.1145\/2603088.2603118“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2023,1,8]]，”date-time“2023-01-08T14:05:09Z“，”timestamp“：1673186709000}，”score“：1，”resource“：{”primary”：{“URL”：“https:\/\/dl.acm.org\/doi\/10.1145\/2603088.2603118”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[2014,7,14]]}，‘references-count’：24，‘alternative-id’：[”10.1145\/26038.260318“，”10.1145\/2603088“]，”URL“：”http:\/\/dx.doi.org\/10.1145\/2603088.2603118“，”关系“：{}，”主题“：[]，”发布“：{”日期部分“：[[2014,7,14]]}，“断言”：[{”值“：”2014-07-14“，”顺序“：2，”名称“：”发布“，”标签“：”已发布“，“组”：{“名称”：“publication_history”，“标签”：“发布历史”}}}}