{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部分”：[[2024,9,7]]，“日期-时间”：“2024-09-07T21:52:53Z”，“时间戳”：1725745973309}，“出版商位置”：“美国纽约州纽约市”，“参考-计数”：28，“出版者”：“ACM”，“资助者”：[{“DOI”：“10.13039\/501000004963”，“名称”：“第七框架计划”，“DOI-asserted-by”：“publisher”，“adward”：[“259454”]，“id”：[{“id”:“10.13039\/501100004963”，“id-type”：“DOI”，“asserted-by”：“publicher”}]}，{“DOI“：”10.13039\/501100001665“，”name“：”Recherche国家机构“，”DOI-sserted-by“：”publisher“，”id“：[{”id“:”10.13039 \/5011000001665“，rted-by“：”publisher“}]}，{“DOI”：“10.13039\/501100001870”，“name”：“波兰科学基金会”，“doi-asserted-by”：“publisher”，“id”：[{“id”:“10.13039\/501100001870”，“id-type”：“doi”，“asserted-by”：“publisher”}]}501100001659“，”id-type“：”doi“，”asserted-by“：“publisher”｝]｝]，“content domain”：｛“domain”：[“dl.acm.org”]，“crossmark restriction”：true｝，“short container title”：[]，“published print”：｛“date parts”：[[2014,7,14]｝，“DOI”：“10.1145\/2603088.2603104”，“type”：“proceedings article”，“created”：｛“date parts”：[[2014,7,28]，“date time”：“2014-07-28T13:21:45Z”，“timestamp”：1406553705000｝，“page”：“1-9”，“更新策略”：“http:\/\/dx.doi.org/10.1145\/crosmark policy”，“source”：“Crossref”，“由count引用”：7，“title”：[“无限树上的双向成本自动机和成本逻辑”]，“prefix”：“10.1145”，“volume”：“39”，“author”：[｛“given”：“Achim”，“family”：“Blumentach”，“sequence”：“first”，“affiliation”：[｛“name”：“TU Darmstadt”}]｝，｛“given”：“Thomas”，“family””：“Colcombet”，“sequence”：“additional”，“affiliation”：[{“name”：“University\u00e9 Paris Diderot”}]}，{“given”：“Denis”，“family”：“Kuperberg”，“serquence”:“additionable”，“feliation”:[{（名称）：“Warsaw University”}]{“fivent”：“Pawe\u0142”，“家族”：“Parys”，“sequence”=“additioned”，“从属关系”：[{“name”：“华沙大学”}]neneneep，{“给定”：“迈克尔·范登”，“family”：“Boom”，“sequence”：“additional”，“affiliation”：[{“name”：“University of Oxford”}]]，“member”：“320”，“published on”：{“date-parts”：[[2014,7,14]]}，“reference”：[}“key”：“e_1_3_2_1_1_1_1”，“series-title”：“逻辑学与计算机科学基础”，“volume-title”：《微积分学基础》，“author”：“Arnold A.”，“year”：“2001”“”，“非结构化”：“A.Arnold和D.Niwi\u0144ski.《微积分基础》，《逻辑研究和计算机科学基础》第146卷。北霍兰德，2001年。A.Arnord和D.Niwe\u0144 ski.“微积分基础”，《逻辑和计算机科学基础研究》第146.卷。北荷兰德，2001.”}，{“key”：“e_1_3_2_1_2_1”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/LICS.2011.43”}，{“key”：“e_1_3_2_1_1”，”unstructured“：”A.Blumensath M.Otto和M.Weyer.有界问题的可判定性结果.《计算机科学中的逻辑方法》即将出版。A.Blumensa M.Ott和M。韦耶。有界问题的可判定性结果。计算机科学中的逻辑方法。出现。“}，{”key“：”e_1_3_2_1_4_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1007\/978-3642-02930-1_6”}，“key”：“e_1_m2_5_1”，“unstructured”：“M.\n Boja\u0144czyk。一个限定词。在J.Marcinkowski和A.Tarlecki的编辑中，CSL卷3210，共LNCS页41页--55页。Springer 2004\n。ISBN 3-540-23024-6。M.博贾\u0144czyk。限定量词。在J.Marcinkowski和A.Tarlecki的编辑中，CSL第3210卷LNCS第41-55页。斯普林格2004。ISBN 3-540-23024-6.“}，{”key“：”e_1_3_2_1_6_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1109\/LICS.2006.17”}，“key”：“e_1_ 3_2_1 _7_1”，“doi-assert-by”：“publisher”，”doi“：”10.1002\/malq.19600060105“}”，{“volume-title”：“单词的常规成本函数”，“年份”：“2009”，“作者”：“Colcombet T”，“key”：“e_1_3_2_1_8_1”，“非结构化”：“T。科尔科姆贝特。2009年，常规成本函数超过文字。手稿见http://www.liafa.jussieu.fr\/~colcombe\/。T.科尔科姆贝特。2009年，常规成本函数超过文字。手稿见http://www.liafa.jussieu.fr\/~colcombe\/。“}，{”key“：”e_1_3_2_1_9_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1007\/978-3642-02930-1_12”}，“volume-title”：“常规成本函数，第i部分：字上的逻辑和代数。计算机科学中的逻辑方法，9（3）”，“year”：“2013”，“author”：“Colcombet T”，“key”：“e_1_ 3_2_10_1”，“unstructured”：“T”。科尔科姆贝特。常规成本函数，第一部分：单词的逻辑和代数。《计算机科学中的逻辑方法》，9（3），2013年。T.科尔科姆贝特。常规成本函数，第一部分：单词的逻辑和代数。《计算机科学中的逻辑方法》，9（3），2013.“}，{“key”：“e_1_3_2_1_11_1”，“doi由”：“publisher”断言，“doi”：“10.1007\/978-3-540-87531-4_30”}，{“key”：“e_1_3_2_12_1”，“doi由”：“publisher”断言，“doi”：“10.1007\/978-3-540-70583-3_33”}，{“key”：“e_1_3_2_1_13_1”，“doi由”：“publisher”断言，“doi”：“10.1109\/LICS”。2010.36“｝，｛”键“：”e_1_3_2_1_14_1“，”非结构化“：”T.\n Colcombet D.\n Kuperberg C.\n L\u00f6ding和M.Vanden \n Boom。\确定b\u00fcchi可定义树语言的弱可定义性。在S.R.D.Rocca编辑器中，CSL第23卷，共LIPIcs页，共215页。达格斯图尔宫（Schloss Dagstuhl）-莱布尼茨-泽特鲁姆富尔信息科技（Leibniz-Zentrum fuer Informatik），2013年。\国际标准图书编号978-3-939897-60-6。T.Colcombet D.Kuperberg C.L\u00f6ding和M.Vanden Boom。确定b\u00fcchi可定义树语言的弱可定义性。在S.R.D.Rocca编辑的LIPIcs第23卷第215-230页。达格斯图尔宫（Schloss Dagstuhl）-莱布尼茨-泽特鲁姆富尔信息科技（Leibniz-Zentrum fuer Informatik），2013年。ISBN 978-3-939897-60-6。“}，{”key“：”e_1_3_2_15_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1016\/0022-0000（82）90051-4”}，“key”：“e_1_ 3_2_16_1”，“series-title”：“LNCS”，“首页”：“74”，“卷时间”：“J.-\u00c9”，“作者”：“Hashiguchi K.”，“年份”：“1988”，“非结构化”：“K。桥口。相对恒星高度、恒星高度和具有距离函数的有限自动机。在J.-\u00c9中。Pin，编辑，《有限自动机的形式属性和应用》，LNCS第386卷，第74-88页。斯普林格，1988年。国际标准图书编号（ISBN）3-540-51631-X.K.Hashiguchi。相对星高、星高和带距离函数的有限自动机。在J.-\u00c9中。Pin，编辑，《有限自动机的形式属性和应用》，LNCS第386卷，第74-88页。斯普林格，1988年。ISBN 3-540-51631-X。“}，{”issue“：”3“，”key“：”e_1_3_2_1_17_1“，”first page“：“455”，”article-title“：”Distance desert automata and the star height problem“，”volume“:”39“，”author“：”Kirsten D.“，”year“：”2005“，”unstructured“：”D.Kirsten.Distance deset automata和the star theight problem.ITA，39（3）：455-5092005.D。克尔斯滕。距离沙漠自动机和恒星高度问题。ITA，39（3）：455--509，2005。“，“journal-title”：“ITA”}，{“key”：“e_1_3_2_1_18_1”，“unstructured”：“D.Kuperberg和M.Vanden Boom。准威克成本自动机：弱势的新变体。S.Chakraborty和a。Kumar editors FSTTCS卷，共13卷，LIPIcs第66页，第77页。达格斯图尔宫-莱布尼茨-泽特鲁姆富尔信息2011年。国际标准图书编号978-3-939897-34-7。\n在线：http://www.liafa.jussieu.fr\/~dkuperbe\/。D.Kuperberg和M.Vanden Boom。准威克成本自动机：弱点的新变种。S.Chakraborty和A.Kumar编辑FSTTCS第13卷LIPIcs第66-77页。Dagstuhl Schloss-Leibniz-Zentrum fuer Informatik 2011年。国际标准图书编号978-3-939897-34-7。在线：http://www.liafa.jussieu.fr\/~dkuperbe\/。“}，{”key“：”e_1_3_2_19_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1007\/978-3642-31585-5_28”}，“volume-title”：“下推系统上的资源范围可达性。硕士论文”，“年份”：“2011”，“作者”：“Lang M.”，“key”：“e_3_2_2_1_20_1”，”unstructured“：”M。郎朗。下推系统上的资源范围可达性。亚琛工业大学硕士论文，2011年。M.Lang.下推系统上的资源范围可达性。亚琛RWTH大学硕士论文，2011年。“}，{”key“：”e_1_3_2_1_21_1“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/BF02573140“}”，{“key”：“e_1_ 3_2_1_2 2_1”，“unstructured”：“D.e.Muller A.Saoudi和P.e.Schupp。交替自动机。树的弱一元理论及其复杂性。Kott编辑器ICALP卷\n 226，共\n LNCS页\n 275 \n--\n 283 \n。\n施普林格1986\n。国际标准图书编号（ISBN）3-540-16761-7。D.E.Muller A.Saoudi和P.E.Schupp。交替自动机。树的弱一元理论及其复杂性。在L.Kott编辑ICALP第226卷LNCS第275-283页。施普林格1986。ISBN 3-540-16761-7.“}，{“键”：“e_1_3_2_1_23_1”，“第一页”：“1”，“文章标题”：“无限树上二阶理论和自动机的可判定性”，“卷”：“141”，“作者”：“Rabin M.O.”，“年”：“1969”，“非结构化”：“M.O。拉宾。无限树上二阶理论和自动机的可判定性。事务处理。阿默尔。数学。Soc.，141:1-351969年。ISSN 0002-9947。拉宾。无限树上二阶理论和自动机的可判定性。事务处理。阿默尔。数学。Soc.，141:1--351969年。ISSN 0002-9947.“，“日记标题”：“事务处理。阿默尔。数学。Soc.“}，{”key“：”e_1_3_2_1_24_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1147\/rd.32.0114”}，}“key”：“e_1_ 3_2_1_2 5_1”，“doi-assert-by”：“publisher”，”doi“：”10.1109\/SFCS.1978.21“}“}，{”key“：”e_1_3_2_1_27_1“，”series-title“：”LNCS“，”首页“：”580“，”volume-title“：“MFCS”，“作者：“繁荣M.范登”，“年份”：“2011年”，“非结构化”：“繁荣M范登”。无限树上的弱代价一元逻辑。MFCS编辑F.Murlak和P.Sankowski，LNCS第6907卷，第580-591页。施普林格，2011年。国际标准图书编号978-3-642-22992-3。M.Vanden Boom先生。无限树上的弱代价一元逻辑。MFCS编辑F.Murlak和P.Sankowski，LNCS第6907卷，第580-591页。施普林格，2011年。ISBN 978-3-642-22992-3.“}，{“key”：“e_1_3_2_1_28_1”，“unstructured”：“M.Y.Vardi。用双向自动机推理过去。在K.G.Larsen S.Skyum和G.Winskel编辑的ICALP第1443卷《计算机科学讲义》第628页。M.Y.瓦尔迪。用双向自动机推理过去。在K.G.Larsen S.Skyum和G.Winskel编辑的ICALP第1443卷《计算机科学讲义》第628-641页。斯普林格1998。ISBN 3-540-64781-3.“}]，“event”：{“name”：“CSL-LICS’14:第二十届EACSL计算机科学逻辑年会联席会议”，“赞助商”：[“SIGLOG ACM逻辑与计算特别兴趣小组”，“EACSL欧洲计算机科学逻辑协会”，“IEEE-CS\\DATC IEEE计算机学会”，“SIGACT ACM算法和计算理论特别兴趣小组“]，“地点”：“奥地利维也纳”，“缩写词”：“CSL-LICS‘14”}，“容器-时间”：[“第二十届EACSL计算机科学逻辑年会（CSL）和第二十届ACM年会暨IEEE计算机科学逻辑研讨会（LICS）联席会议记录”]，“original-title“：[]，”link“：[{”URL“：”https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2603088.2603104“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2023,1,8]]，”date-time“：“2023-01-08T19:04:50Z”，“timestamp”：1673204690000}，“score”：1，“资源“：{“primary”：{”URL“：”https:\/\/dl.acm.org\/doi\/10.1145\/2603088.2603104“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[[2014,7,14]]}，“引用计数”：28，”替代id“：[”10.1145\/260302.603104“，”10.1145\/2603088“]，”URL“：”http://\/dx.doi.org\/10.1145\/26003088.26003104“，”关系“：{}，“subject”：[]，“published”：{“date-parts”：[[2014,7,14]]}，“assertion”：[{value“：”2014-07-14“，“order”：2，“name”：“published”，“label”：“published”，“group”：｛“name”：“publication_history”，“label”：“publication history”｝｝]｝