摘要
A.阿诺德。 &mu- 演算交替深度层次对二叉树是严格的。 Informatique Théorique et Applications公司， 33(4/5):329--340, 1999. 谷歌学者 
交叉引用 
阿奇姆·布卢门萨特（Achim Blumensath）、托马斯·科尔科姆贝特（Thomas Colcombet）、丹尼斯·库珀伯格（Denis Kuperberg）、迈克尔·范登·布姆（Michael Vanden Boom）和帕伊斯（PawełParys）。 无限树上的双向成本自动机和成本逻辑。 在 CSL-LICS 2014:第23届EACSL计算机科学逻辑年会和第29届ACM/IEEE计算机科学逻辑研讨会 ，第16页，2014年。 谷歌学者 数字图书馆 
阿奇姆·布卢门萨特（Achim Blumensath）、马丁·奥托（Martin Otto）和马克·韦耶（Mark Weyer）。 有界问题的可判定性结果。 计算机科学中的逻辑方法 , 10(3), 2014. 谷歌学者 米科·阿杰·博扬奇克。 限定量词。 编辑Jerzy Marcinkowski和Andrzej Tarlecki， CSL 2004：计算机科学逻辑，第18届国际研讨会， 第3210卷，共页 计算机课堂讲稿。 科学 第41-55页。 斯普林格，2004年。 谷歌学者 米科·阿杰·博扬奇克。 游戏中的明星高度。 在 第30届ACM/IEEE计算机科学逻辑年会，2015年LICS，日本京都，2015年7月6日至10日 ，第214页至第219页，2015年。 谷歌学者 数字图书馆 Mikołaj Bojan nchyk和Thomas Colcombet。 ω-正则性的界。 在 LICS 06:第21届IEEE计算机科学逻辑研讨会 ，第285-296页。 IEEE计算机学会，2006年。 谷歌学者 数字图书馆 Mikołaj Bojann czyk、Pawel Parys和Szymon Torunn czik。 （n，<；）的MSO+U理论是不可判定的。 在 第33届计算机科学理论方面研讨会，STACS 2016，2016年2月17日至20日，法国奥尔良 ，第21:1--21:8页，2016年。 谷歌学者 迈克尔·范登·布姆。 无限树上的弱代价一元逻辑。 编辑菲利普·穆拉克和彼得·桑科夫斯基， MFCS 2011：计算机科学数学基础， 第6907卷，共页 计算机课堂讲稿。 科学 第580-591页。 施普林格，2011年。 谷歌学者 数字图书馆 迈克尔·范登·布姆（Michael Vanden Boom）和丹尼斯·库珀伯格（Denis Kuperberg），《准西方成本自动机：弱点的新变种》（Quasi-weak cost automata）。 在Supratik Chakraborty和Amit Kumar的编辑中， FSTTCS 2011:IARCS软件技术和理论计算机科学基础年会 ，第13卷，共页 LIPIcs公司 ，第66-77页。 达格斯图尔宫，2011年。 谷歌学者 J.C.布拉德菲尔德。 模态&mu- 演算交替层次是严格的。 理论。 计算。 科学 ., 195(2):133--153, 1998. 谷歌学者 数字图书馆 J.理查德·比奇。 弱二阶算法和有限自动机。 Z.数学。 Logik Grundlagen数学 ., 6:66--92, 1960. 谷歌学者 交叉引用 J.理查德·比奇。 限制二阶算法中的一种决策方法。 在 《科学的逻辑、方法论和哲学》（Proc.1960 Internat.Congr.） ，第1-11页。 斯坦福大学出版社，加利福尼亚州斯坦福市，1962年。 谷歌学者 J.Richard Büchi和Lawrence H.Landweber。 用有限状态策略求解序列条件。 事务处理。 阿默尔。 数学。 Soc公司 ., 138:295--311, 1969. 谷歌学者 交叉引用 托马斯·科尔科贝特。 稳定幺半群理论和正则成本函数。 在苏珊娜·阿尔伯斯、阿尔贝托·马切蒂·斯帕卡米拉、尤西·马蒂亚斯、索蒂里斯·尼古列塞斯和沃尔夫冈·托马斯的编辑中， ICALP 2009（2）：自动化、语言和编程，第36届国际学术讨论会， 第5556卷，共页 计算机课堂讲稿。 科学 第139-150页。 施普林格，2009年。 谷歌学者 数字图书馆 托马斯·科尔科贝特。 几个数量级的成本函数和相对内部集合理论的使用。 在 低收入国家 ，第123页，2013年。 谷歌学者 托马斯·科尔科姆贝特。 常规成本函数，第一部分：单词的逻辑和代数。 日志。 方法计算。 科学 2013年第47页。 谷歌学者 托马斯·科尔科姆贝特和纳塔娜·菲亚尔科夫。 常规成本函数和Omega-Regular语言之间的桥梁。 在Yuval Rabani Ioannis Chatzigiannakis、Michael Mitzenmacher和Davide Sangiorgi的编辑中， 第43届国际自动化、语言和编程学术讨论会（ICALP 2016）， 第55卷，共页 莱布尼茨国际信息学会议录（LIPIcs） ，第126:1-126:13页。 Dagstuhl-Leibniz-Zentrum fuer Informatik学校，2016年。 谷歌学者 托马斯·科尔科姆贝特（Thomas Colcombet）和斯特凡·格勒（Stefan Göller）。 带有限定猜测动作的游戏。 在 2016年7月5日至8日，美国纽约州纽约市，LICS’16，第31届ACM/IEEE计算机科学逻辑年会论文集 ，第257--266页，2016年。 谷歌学者 数字图书馆 托马斯·科尔科姆贝特（Thomas Colcombet）、丹尼斯·库珀伯格（Denis Kuperberg）和西尔万·伦巴第（Sylvain Lombardy）。 常规时间成本函数。 在Samson Abramsky、Cyril Gavoille、Claude Kirchner、Friedhem Meyer auf der Heide和Paul G.Spirakis的编辑中， ICALP 2010（2）：自动化、语言和编程，第37届国际学术讨论会， 第6199卷，共页 计算机课堂讲稿。 科学 第563-574页。 施普林格，2010年。 谷歌学者 数字图书馆 托马斯·科尔科姆贝特（Thomas Colcombet）、丹尼斯·库珀伯格（Denis Kuperberg）、阿马尔德夫·曼纽尔（Amaldev Manuel）和西蒙·托伦茨克（Szymon Torunczyk）。 最小/最大自动机定义的成本函数。 编辑尼古拉·奥林格和赫里贝特·沃尔默， 第33届计算机科学理论研讨会（STACS 2016）， 第47卷，共页 莱布尼茨国际信息学会议录（LIPIcs） ，第29:1--29:13页。 Dagstuhl-Leibniz-Zentrum fuer Informatik学校，2016年。 谷歌学者 Thomas Colcombet和Christof Löding。 析取&mu；的嵌套深度- 树语言的微积分和有限性问题。 编辑迈克尔·卡明斯基（Michael Kaminski）和西蒙·马蒂尼（Simone Martini）， CSL 2008：计算机科学逻辑，第22届国际研讨会， 第5213卷，共页 计算机课堂讲稿。 科学 第416--430页。 施普林格，2008年。 谷歌学者 数字图书馆 Thomas Colcombet和Christof Löding。 非确定性Mostowski层次结构和距离奇偶自动机。 在Luca Aceto、Ivan Damgárd、Leslie Ann Goldberg、Magnüs M.Halldórsson、Anna Ingólfsdóttir和Igor Walukiewicz等编辑的作品中， ICALP 2008（2）：自动化、语言和编程，第35届国际学术讨论会， 第5126卷，共页 计算机课堂讲稿。 科学 第398-409页。 施普林格，2008年。 谷歌学者 数字图书馆 托马斯·科尔科姆贝特和克里斯托夫·洛丁。 有限树上的正则代价函数。 在 LICS 2010：第五届IEEE计算机科学逻辑年会 ，第70-79页。 IEEE计算机学会，2010年。 谷歌学者 数字图书馆 托马斯·科尔科姆贝特（Thomas Colcombet）、克里斯托夫·洛丁（Christof Löding）、丹尼斯·库珀伯格（Denis Kuperberg）和迈克尔·范登·布姆（Michael Vanden Boom）。 判定Büchi可定义树语言的弱可定义性。 在 CSL公司 ，第215-230页，2013年。 谷歌学者 布鲁诺·库塞尔（Bruno Courcelle）。 图的一元二阶逻辑。 有限图的可识别集。 Inf.计算 ., 85(1):12--75, 1990. 谷歌学者 数字图书馆 卡尔文·埃尔戈特（Calvin C.Elgot）。 有限自动机设计的决策问题及相关算法。 事务处理。 阿默尔。 数学。 Soc公司 ., 98:21--51, 1961. 谷歌学者 交叉引用 桥口小三郎。 带距离函数的有限自动机的极限定理。 J.计算。 系统。 科学 ., 24(2):233--244, 1982. 谷歌学者 交叉引用 桥口小三郎。 相对星高、星高和带距离函数的有限自动机。 在编辑Jean-Eric Pin中， 有限自动机的形式属性及其应用 第386卷，第74-88页，1988年。 谷歌学者 数字图书馆 桥口小三郎。 确定相对包含星高度和包含星高度的算法。 理论。 计算。 科学 .，91（1）：85-1002991。 谷歌学者 数字图书馆 丹尼尔·克里斯滕（Daniel Kirsten）。 距离沙漠自动机和恒星高度是一个问题。 在编辑Igor Walukiewicz中， FoSSaCS 2004：软件科学和计算结构基础，第七届国际会议 ，第2987卷，共页 计算机课堂讲稿。 科学。， 第257至272页。 斯普林格，2004年。 谷歌学者 丹尼尔·克尔斯滕。 距离沙漠自动机和恒星高度问题。 RAIRO-理论。 信息应用程序 ., 3(39):455--509, 2005. 谷歌学者 丹尼尔·克里斯滕（Daniel Kirsten）。 关于相对包含星高问题的复杂性。 计算机科学与工程进展 , 5(2):173--211, 2010. 谷歌学者 Denis Kuperberg，正则成本函数的线性时序逻辑。 托马斯·施温蒂克和克里斯托夫·杜尔，编辑， 2011年：第28届计算机科学理论方面国际研讨会， 第9卷，共页 LIPIcs公司 ，第627-636页。 Dagstuhl Schloss-Leibniz-Zentrum für Informatik，2011年。 谷歌学者 丹尼斯·库珀伯格和迈克尔·范登·布姆。 论成本逻辑对无限词语的表达能力。 在Artur Czumaj、Kurt Mehlhorn、Andrew M.Pitts和Roger Wattenhofer的编辑中， ICALP 2012（2）：自动化、语言和编程——第39届国际学术讨论会 ，第7392卷，共页 计算机课堂讲稿。 科学 第287至298页。 施普林格，2012年。 谷歌学者 数字图书馆 贾科莫·伦齐。 &mu；的一个层次定理- 微积分。 编辑Friedhem Meyer auf der Heide和Burkhard Monien， ICALP 1996:自动化、语言和编程，第23届国际学术讨论会， 第1099卷，共页 计算机课堂讲稿。 科学 第87-97页。 施普林格，1996年。 谷歌学者 数字图书馆 梁兴。 有限自动机理论中求解决策问题的代数方法 宾夕法尼亚州立大学计算机科学系博士论文，1987年。 谷歌学者 数字图书馆 安德烈·莫斯托夫斯基（Andrzej W.Mostowski）。 无限树的正则表达式和标准形式的自动机。 在 计算理论研讨会 ，第157-168页，1984年。 谷歌学者 达米安·尼温滑雪。 在定点克隆上。 Laurent Kott，编辑， ICALP 1986：自动机、语言与程序设计，第13届国际学术讨论会 ，第226卷，共页 计算机课堂讲稿。 科学 第464--473页。 施普林格，1986年。 谷歌学者 数字图书馆 达米安·尼温斯基（Damian Niwinski）和伊戈尔·瓦卢基维奇（Igor Walukiewicz）。 确定性树语言的间隙特性。 西奥。 计算。 科学 ., 1(303):215--231, 2003. 谷歌学者 数字图书馆 达米安·尼文斯基和伊戈尔·瓦卢基维奇。 确定确定性树自动机的非确定性层次。 选举人。 注释Theor。 计算 ., 123:195--208, 2005. 谷歌学者 数字图书馆 托马斯·普莱斯（Thomas Place）和马克·泽顿（Marc Zeitoun）。 在单词的一级量词交替层次结构中更高。 在 自动化、语言与编程——第41届国际学术讨论会，ICALP 2014，丹麦哥本哈根，2014年7月8日至11日，会议记录，第二部分 ，第342-353页，2014年。 谷歌学者 迈克尔·O·拉宾。无限树上二阶理论和自动机的可判定性。 事务处理。 阿默尔。 数学。 Soc公司 ., 141:1--35, 1969. 谷歌学者 我是西蒙。 热带半环上具有多重性的可识别集合。编辑Michal Chytil、Ladislav Janiga和Václav Koubek， MFCS 1988：计算机科学数学基础 ，第324卷，共页 计算机课堂讲稿。 科学 第107-120页。 斯普林格，1988年。 谷歌学者 数字图书馆 詹姆斯·撒切尔和杰西·莱特。 广义自动机理论及其在二阶逻辑决策问题中的应用。 数学。 系统。 理论 , 2:57--81, 1968. 谷歌学者 交叉引用 亚伦·维勒（Yaron Velner）和亚历山大·拉比诺维奇（Alexander Rabinovich）。 噪声输入的Church合成问题。 编辑马丁·霍夫曼， FoSSaCS 2011：软件科学和计算结构基础-第14届国际会议 ，《计算机课堂讲稿》第6604卷。 科学。， 第275-289页。 施普林格，2011年。 谷歌学者 数字图书馆
建议
有限树上的正则代价函数 LICS’10：2010年IEEE第25届计算机科学逻辑年会论文集 我们发展了有限树上的正则代价函数理论：对树的正则语言概念的抽象扩展：代价函数将每个输入（树）映射到~$\omega+1$中的值，并被认为是模等价关系。。。 正则命题逻辑的MaxSAT解析 摘要 SAT的证明系统对于MaxSAT来说是不可靠的，因为它们保持了可满足性，但未能保持未满足子句的最小数量。 因此，有必要为……定义成本节约的解决方案式证明系统。。。 带过去的正则线性时态逻辑 VMCAI'10：第11届国际验证、模型检验和抽象解释会议记录 本文对正则线性时态逻辑（RLTL）进行了改进，引入了过去的算子和互补。 RLTL是一种时态逻辑，它将线性时态逻辑（LTL）的表达能力扩展到所有时态逻辑 ω -常规语言。 RLTL的语法由。。。
