摘要
Bojanczyk，M.：带有无界量词的弱MSO。 收录人：Albers，S.，Marion，J.Y.（编辑）STACS。 LIPIcs，第3卷，第159-170页。 德国莱布尼兹·泽特鲁姆·富尔信息学院（2009年）。 谷歌学者 
Bojanczyk，M.，Colcombet，T.：ω-正则性的界。 收录于：LICS，第285-296页。 IEEE计算机学会，Los Alamitos（2006）。 谷歌学者 数字图书馆 
Colcombet，T.：文字的常规成本函数（2009），在线手稿 谷歌学者 Colcombet，T.：稳定幺半群和正则成本函数理论。 收录人：Albers，S.、Marchetti-Paccamela，A.、Matias，Y.、Nikoletseas，S..、Thomas，W.（编辑）ICALP 2009。 LNCS，第5556卷，第139-150页。 斯普林格，海德堡（2009）。 谷歌学者 数字图书馆 Colcombet，T.，Löding，C.：析取微积分的嵌套深度。 收录：Kaminski，M.，Martini，S.（编辑）CSL 2008。 LNCS，第5213卷，第416-430页。 施普林格，海德堡（2008）。 谷歌学者 数字图书馆 Colcombet，T.，Löding，C.：非确定性Mostowski层次和距离-部分自动机。 在：Aceto，L.，Damgård，I.，Goldberg，L.A.，Halldórsson，M.M.，Ingólfsdóttir，A.，Walukiewicz，I.（编辑）ICALP 2008，第二部分。 LNCS，第5126卷，第398-409页。 施普林格，海德堡（2008）。 谷歌学者 数字图书馆 Colcombet，T.，Löding，C.：有限树上的正则成本函数。 收录于：LICS，第70-79页。 IEEE计算机学会，Los Alamitos（2010）。 谷歌学者 数字图书馆 Hashiguchi，K.：相对星高、星高和带距离函数的有限自动机。 In:Pin，J.E.（编辑）LITP 1988。 LNCS，第386卷，第74-88页。 斯普林格，海德堡（1989）。 谷歌学者 数字图书馆 Kirsten，D.：距离沙漠自动机和恒星高度问题。 RAIRO：理论信息学与应用39（3），455-509（2005）。 谷歌学者 Krob，D.：热带半环中具有多重性的有理级数的等式问题是不可判定的。 国际代数与计算杂志4，405-425（1994）。 谷歌学者 Muller，D.E.，Saoudi，A.，Schupp，P.E.：交替自动机。 树的弱一元理论及其复杂性。 收录：Kott，L.（编辑）ICALP 1986。 LNCS，第226卷，第275-283页。 施普林格，海德堡（1986）。 谷歌学者 数字图书馆 Parigot，M.：自动机、博弈和树的正一元理论。 收录人：Nori，K.V.（编辑）FSTTCS 1987。 LNCS，第287卷，第44-57页。 斯普林格，海德堡（1987）。 谷歌学者 数字图书馆 M.O.拉宾：弱定义关系和特殊自动机。 《数学逻辑与集合论基础》（Proc.Internat.Colloq.，Jerusalem，1968），第1-23页。 荷兰北部，阿姆斯特丹（1970年）。 谷歌学者 托马斯·W·：语言、自动机和逻辑。 收录：Rozenberg，G.，Salomaa，A.（编辑）《形式语言手册》。 《超越文字》，第3卷，第389-455页。 施普林格，海德堡（1997）。 谷歌学者 数字图书馆
索引术语
无限树上的弱代价一元逻辑
