{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2022,10,29]]，“日期时间”：“2022-10-29T23:32:56Z”，“时间戳”：1667086376737}，“出版商位置”：“查姆”，“参考计数”：33，“出版者”：“斯普林格国际出版公司”，“isbn-type”：[{“值”：“9783319066851”，“类型”：”打印}，{“值”：“9783319066868”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2014]]}，”DOI“：”10.1007\/978-3319-06686-8_14“，”type“：”book-chapter“，”created“：{”date-ports“：[2014,6,2]，”date-time“：”2014-06-02T01:30:40Z“，”timestamp:1401672640000}，“页面”：“176-189”，“来源”：“交叉引用”，“is-referenced-by-count”：2，“title”：[“FO2中的积木产品和嵌套否定”]，“prefix”：“10.1007”，“author”：[{“given”：“Lukas”，“family”：“Fleischer”，“sequence”：“first”，“affiliation”：[]}，{“给定”：“Manfred”，“家族”：“Kufleitner”，“隶属关系”：[]}]，“member”：“297”，“reference”：[{“key”：“14_CR1”，“doi-asserted-by”：“publisher”，《first page》：“66”，“doi”：“10.1002\/malq.19600060105”，“volume”：”6“，“author”：“J.R.B\u00fcchi”，”year“1960”，“unstructured”：“B\u00 fcchi，J.R.：弱二阶算术和有限自动机。Z.Math.Logik-Grundlagen Math.\u00a06，66\u201392（1960）“，”新闻标题“：”Z。数学。Logik Grundlagen数学。“｝，｛”issue“：”1“，”key“：”14_CR2“，”doi asserted by“：”crossref“，”first page“：”1“，”doi“：”10.1016/S0022-0000（71）80003-X“，”volume“：”5“，”author“：”R.S.Cohen“，”year“：”1971“，”nonstructured“：”Cohen，R.S.，Brzozowski，J.A.：恒星自由事件的点深度.J.Comput.Syst.Sci.\u00a05（1），1\u201316（1971）“，”期刊标题“：“计算机系统科学”}，｛“问题”：“3”key“：”14_CR3“，”doi-asserted-by“：”publisher“，”first page“：“513”，”doi“：”10.1142\/S0129054108008002“，“volume”：“19”，“author”：“V.Diekert”，“year”：“2008”，“unstructured”：“Diekert，V.，Gastin，P.，Kufleitner，M.：有限单词上一阶逻辑小片段的调查。发现的国际期刊。计算。科学。\u00a019（3），513\u2013548（2008）“，”期刊标题“：”国际期刊发现。计算。科学。“}，{”key“：”14_CR4“，”doi-asserted-by“：”crossref“，”unstructured“：”Ebbinghaus，H.-D.，Flum，J.：有限模型理论。In:数学逻辑中的透视图。Springer（1995）“，”doi“：”10.1007\/978-3662-03182-7“}”，{“key”：“14_CR5”，“doi-assert-by”：“publisher”，“first page”：”21“，“doi”：“10.1090\/S0002-9947-1967-1961-0139530-9”，“volume“：”98“，”作者“：”C.C。Elgot”，“年份”：“1961年”，“非结构化”：“Elgot，C.C.：有限自动机设计和相关算法的决策问题。事务处理。阿默尔。数学。Soc.\u00a098，21\u201351（1961）“，“期刊标题”：“翻译。阿默尔。数学。Soc.“}，{”issue“：“2”，”key“：“14_CR6”，”doi-asserted-by“：”publisher“，”first page“：”256“，“doi”：“10.1007\/s00224-007-9002-0”，“volume”：“42”，“author”：“C.Gla\u00dfer”，“year”：“2008”，“unstructured”：“Gla\u 00dfer，C.，Schmitz，H.：dot-depth 3\/2的语言。计算系统理论\u00a042（2），256\u2013286（2008）“，“journal-title”：“计算系统理论”}，{“key”：“14_CR7”，“unstructured”：“Kamp，J.A.W.：时态逻辑和线性秩序理论。加利福尼亚大学博士论文（1968）”}、{“issue”：“4”，“key“：”14_CR8“doi-asserted-by”：“crossref”，“first-page”：“321”，“doi”：“10.1051“，”volume“：”17“，”author“：”R.Knast“，”year“：”1983“，”unstructured“：”Knast，R.：点深一语言的半群特征。RAIRO，Inf.Th\u00e9或。\u00a017（4），321\u2013330（1983）“，“日记标题”：“RAIRO，Inf.Th\u00e9 or。“｝，｛”键“：”14_CR9“，”非结构化“：”Krebs，A.，Straubing，H.：二变量逻辑中交替层次的有效表征。在：FSTTCS 2012，Proceedings。LIPIcs，vol.\u00a018，pp.86\u201398。Dagstuhl Publishing（2012）“｝，｛”key“：”14_CR10“，”doi asserted by“：”crossref“，”nonstructured“：”Kufleitner，M.，Lauser，A.：无限单词上的点深度一的语言。In：《LICS学报2011》，pp.23\u201332。IEEE Computer Society（2011）“，”DOI“：”10.1109\/LICS.2011.24“}，{“issue”：“6”，“key”：“14_CR11”，“DOI-asserted-by”：“publisher”，“first page”：”1323“，“DOI”：“10.1142\/S0129054112400552”，“volume”：：“23”，“author”：“M.Kufleitner”，“year”：“2012”，“unstructured”：“Kuflei特纳，M.，Lauser，A.：Around dot-depth one.Int.J.Found.Computer.科学\u00a023（6），1323\u20131339（2012）“，”期刊标题“：”国际期刊发现。计算。科学。“}，{”key“：”14_CR12“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“603”，“doi”：“10.1007\/978-3642-32589-2_53”，“volume-title”：“计算机科学数学基础2012”，“author”：“M.Kufleitner”，“year”：“2012”，”unstructured“：”Kufleitner，M.，Lauser，A.：trotter-weil层次结构的连接级别是可决定的。收录人：Rovan，B.，Sassone，V.，Widmayer，P.（编辑）MFCS 2012。LNCS，卷\u00a07464，第603\u2013614页。Springer，Heidelberg（2012）“}，{“key”：“14_CR13”，“unstructured”：“Kufleitner，M.，Lauser，A.：R-平凡和L-平凡幺半群的各种通过单词组合的联接。离散数学与Theor.Comput.Sci.14（1），141\u2013146（2012Kufleitner，M.，Lauser，A.：二变量一阶逻辑中的量词交替是可判定的。摘自：2013年STACS会议记录。LIPIcs，第u00a020卷，第305\u2013316页。Dagstuhl Publishing（2013）“}，{“key”：“14_CR15”，“unstructured”：“Kufleitner，M.，Weil，P.：FO2交替层次是可判定的。摘自：CSL 2012年会议记录。LIPIcs，第u00a016卷，第426\u2013439页。Dagstuhl Publishing（2012）“}，{”key“：”14_CR16“，”doi-asserted-by“：”crossref“，”first page“：“1”，”doi“：”10.2168\/LMCS-8（3:11）2012“，”volume“：‘8’，”author“：”M.Kufleitner“，”year“：”2012“，“unstructured”：“Kuflei特纳，M.，Weil，P.：FO2可定义语言中的逻辑层次结构。Log.Methods Compute.Sci.\u00a08，1\u201330（2012）”，“日志标题”：“日志。方法计算。科学。“}，{”key“：”14_CR17“，”unstructured“：”McNaughton，R.，Papert，S.：Counter-Free Automata.The MIT Press（1971）“}”，{“key”：“14_CR18”，“first page”：”80“，”volume“：“39”，”author“：”J.-\u00c9。Pin“，”year“：”1995“，”unstructured“：”Pin，J.-\u00c9.：无补的变分定理。《俄罗斯数学》（Iz.VUZ）\u00a039，80\u201390（1995）“，“期刊标题”：“俄罗斯数学（Iz.SUZ）”}，{“问题”：“4”，“关键”：“14_CR19”，“doi-asserted-by”：“出版商”，“首页”：“383”，“doi”：“10.1007\/BF02679467”，“卷”：“30”，“作者”：“J.-\u00c9”。Pin“，”year“：”1997“，”unstructured“：”Pin，J.-\u00c9.，Weil，P.：多项式闭包和明确乘积。理论计算。系统。\u00a030（4），383\u2013422（1997）“，“新闻标题”：“理论计算”。系统。“}，{”issue“：”12“，”key“：”14_CR20“，”doi-asserted-by“：”publisher“，”first-page“：”5677“，”doi“：”10.1081\/AGB-120016005“，”volume“：“30”“，”author“：”J.-\u00c9“。Pin，“year”：“2002”，“unstructured”：“Pin，J.-\u00c9.，Weil，P.：有序半群的圈积原理。Commun公司。代数\u00a030（12），5677\u20135713（2002）“，”期刊标题“：”Commun。代数“}，{”键“：”14_CR21“，”doi-asserted-by“：”publisher“，”first page“：”190“，“doi”：“10.1016\/S0019-9958（65）90108-7”，“volume”：“8”，“author”：“M.P.Sch\u00fctzenberger”，“year”：“1965”，“unstructured”：“Sch\u00 fctzenferger，M.P.：关于只有平凡子群的有限幺半群。Inf.Control\u00a08，190\u2013194（1965）“，”日志标题“：”信息控制“}，{“key“：”14_CR22“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first-page“：”239“，”doi“：”10.1007\/3-540-46011-X_20“，”volume-title“：“语言理论的发展”，”author“：”T.Schwentick“，”year“2002”，”unstructured“：”Schwentik，T.，Th\u00e9rien，D.，Vollmer，H.：部分序双向自动机：DA的一个新特征。In:Kuich，W.，Rozenberg，G.，Salomaa，A.（eds.）DLT 2001。LNCS，卷\u00a02295，第239\u2013250页。Springer，Heidelberg（2002）“}，{“key”：“14_CR23”，“series title”：“计算机科学讲义”，“doi断言”：“crossref”，“首页”：“214”，“doi”：“10.1007\/3-540-00747-4_23”，“volume title”：“自动机理论与形式语言”，“author”：“I.Simon”，“year”：“1975”，“nonstructured”：“Simon，I.：分段可测试事件。in：Brakhage，H.（ed.）GI-Fachtagung 1975年。LNCS，第u00a033卷，第214\u2013222页。Springer，Heidelberg（1975）“}，{”key“：“14_CR24”，”doi-asserted-by“：”publisher“，”first page“：”137“，“doi”：“10.1016\/0304-3975（81）90036-0”，“volume”：“13”，“author”：“H.Straubing”，“year”：“1981”，“unstructured”：“Straubing，H.：有限幺半群Sch\u00fctzenberger积的推广。Theor.Comput.Sci.\u00a013，137\u2013.150（1981）“，”期刊标题“：”理论。计算。科学。“}，{”key“：”14_CR25“，”doi-asserted-by“：”crossref“，”unstructured“：”Straubing，H.：有限自动机、形式逻辑和电路复杂性。Birkh\u00e4user（1994）“，”doi“：”10.1007\/978-1-4612-0289-9“}”，{关于有限单词。摘自：CSL 2011年会议记录。LIPIcs，第u00a012卷，第525\u2013537页。Dagstuhl Publishing（2011）“}，{”key“：”14_CR27“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“91”，”doi“：”10.1007\/3-540-45995-2_13“，”volume-title“：“LATIN 2002:Theory Informatics”，”author“：”H.Straubing“，”year“：”2002“，”unstructured“：”Straubing，H.，Th\u00e9rien，D.：有限幺半群的弱迭代块积。收录：Rajsbaum，S.（编辑）LATIN 2002。LNCS，第00a02286卷，第91\u2013104页。Springer，Heidelberg（2002）“}，{“key”：“14_CR28”，“doi asserted by”：“crossref”，“nonstructured”：“Tesson，P.，Th\u00e9rien，D.：钻石是永恒的：DA的多样性。In：《半群、算法、自动机与语言学报》，第475\u2013500页。世界科学（2002）“，”DOI“：”10.1142\/9789812776884_0021“}，{”issue“：”2“，”key“：”14_CR29“，”DOI-asserted-by“：”publisher“，”first-page“：”195“，“DOI”：“10.1016\/0304-3975（81）90057-8”，“volume”：“14”，“author”：“D.Th\u00e9rien”，“year”：“1981”，“unstructured”：“Th\u00e9rien，D.：有限幺半群的分类：语言方法。理论。计算。科学。\u00a014（2），195\u2013208（1981）“，“新闻标题”：“Theor。计算。科学。}，{“key”：“14_CR30”，“doi-asserted-by”：“crossref”，“unstructured”：“Th\u00e9rien，D.：Th.\u00a0Wilke。总之，两个变量与一个量词交替一样强大。摘自：《1998年STOC会议录》，第234\u2013240页。ACM出版社（1998）“，”DOI“：”10.1145\/276698.276749“}，{”key“：”14_CR31“，”DOI-asserted-by“：”publisher“，”first page“：“360”，“DOI”：“10.1016\/0022-0000（82）90016-2”，“volume”：“25”，“author”：“W.Thomas”，“year”：“1982”，“unstructured”：“Thomas，W.：分类符号逻辑中的常规事件。J.Compute.Syst.Sci.\u00a025，360\u2013376（1982）“，”杂志标题“：”J。计算。系统。科学。“}，{”key“：”14_CR32“，”first page“：“326”，“volume”：“140”，“author”：“B.A.Trakhtenbrot”，“year”：“1961”，“unstructured”：“Trakhtenbrat，B.A.：有限自动机和一元谓词逻辑（俄语）。Dokl.Akad.Nauk.SSSR\u00a0140，326\u2013329（1961）”，“journal title”：“Dokl.Akad.Nauk.SSSR”}，}“key”：”14-CR33“，”doi-asserted-by“：”crossref“，”第一页“：”1“，”DOI“：”10.2168\/LMCS-5（3:4）2009“，”卷“：”5“，”作者“：”P.Weis“，”年份“：”2009“，“非结构化”：“Weis，P.，Immerman，N.：FO2在单词上的结构定理和严格交替层次。日志。方法计算。科学。\u00a05，1\u201323（2009）“，”日记标题“：”日志。方法计算。科学。“}]，”container-title“：[”计算机科学-理论与应用“，”计算机科学课堂讲稿“]，”original-title”：[]，”link“：[{”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/978-3319-06686-8_14“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]“，”posed“：{”date-parts“：[[2019,5,26]]，”date-time“：”2019-05-26T19:43:27Z“，”timestamp“：1558899807000}，”score“：1，”resource“：{“primary”：{”URL“：”http://\/link.springer.com\/10.1007\/978-3-319-0668686-8_14“}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-part”：[2014]}，51“，”9783319066868“]，”references-count“：33，”URL“：”http:\/\/dx.doi.org\/10.1007\/978-3-319-06686-8_14“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”值“：”0302-7743“”，“type”：“print”}，{”价值“：”1611-33049“，”类型“：”电子“}]，”主题“：[]，”发布“：{”日期段“：[2014]]}}}}