摘要
道格拉斯·艾伯特(Douglas Albert)、罗伯特·巴尔丁格(Robert Baldinger)和约翰·罗德斯(John Rhodes)。 有限半群恒等式问题的不可判定性。 《符号逻辑杂志》57,1(1992),179-192。 谷歌学者 交叉引用 豪尔赫·阿尔梅达。 有限J-平凡半群上的隐运算和I.Simon的一个猜想。 《纯粹与应用代数杂志》69,3(1991),205-218。 谷歌学者 交叉引用 豪尔赫·阿尔梅达。 有限半群与泛代数。 新加坡世界科学。 谷歌学者 数字图书馆 豪尔赫·阿尔梅达。 1999.伪变种的一些算法问题。 《数学德布勒森汇编》第54期(1999年),531-552页。 谷歌学者 豪尔赫·阿尔梅达和昂德雷·克里马。 2009.关于级联层次结构的推测的反例。 信息处理快报110,1(2009),4--7。 谷歌学者 数字图书馆 豪尔赫·阿尔梅达和昂德雷·克里马。 2010.无星语言Straubing-Thhérien级联层次结构中第二级的新可判定上界。 离散数学8理论计算机科学12,4(2010),41-58。 谷歌学者 豪尔赫·阿尔梅达(Jorge Almeida)和马克·泽通(Marc Zeitoun)。 1997.伪变种J是超可判定的。 RAIRO信息技术与应用31,5(1997),457-482。 谷歌学者 交叉引用 穆斯塔法·阿菲(Mustapha Arfi),1987年。 有理语言上的多项式运算。 第四届计算机科学理论方面年度研讨会(STACS’87)论文集,《计算机科学讲义》,Franz-Josef Brandenburg、Guy Vidal-Naquet和Martin Wirsing(编辑),第247卷。 柏林施普林格,198-206。 谷歌学者 数字图书馆 穆斯塔法·阿菲(Mustapha Arfi),1991年。 操作多项式与连接。 理论计算机科学91,1(1991),71--84。 谷歌学者 数字图书馆 卡尔·奥林格。 2010.关于单群伪变种在全球成员的可判定性。 《国际代数与计算杂志》20,2(2010),181--188。 谷歌学者 交叉引用 伯恩哈德·巴纳舍夫斯基(Bernhard Banaschewski)。 1983.各种有限代数的Birkhoff定理。 《代数普遍性》17,1(1983),360-368。 谷歌学者 交叉引用 丹尼尔·博基尔和让·埃里克·宾。 1989.文字因素。 第16届国际自动化、语言和编程学术讨论会(ICALP’89)会议记录。 柏林施普林格,63-79。 谷歌学者 数字图书馆 丹尼尔·博基尔和让·埃里克·宾。 1991年,语言和扫描仪。 理论计算机科学84,1(1991),3--21。 谷歌学者 数字图书馆 米科拉伊·博扬奇克。 2007.一种新算法,用于测试正则语言是否可以进行局部阈值测试。 《信息处理快报》104,3(2007),91--94。 谷歌学者 数字图书馆 米科·阿杰·博扬奇克。 2009年,工厂化森林。 《第13届语言理论发展国际会议论文集》(DLT'09),计算机科学讲义,Volker Diekert和Dirk Nowotka(编辑),第5583卷。 柏林施普林格,1-17。 谷歌学者 数字图书馆 Mikołaj Bojańczyk和Thomas Place。 2012.无限树的正则语言,这些树是开集的布尔组合。 第39届国际自动化、语言和编程学术讨论会(ICALP’12)会议记录,计算机科学讲稿,Artur Czumaj、Kurt Mehlhorn、Andrew M.Pitts和Roger Wattenhofer(编辑),第7392卷。 柏林施普林格,104-115。 谷歌学者 数字图书馆 Janusz A.Brzozowski。 1976年。非周期语言的等级。 ITA 10,2(1976),33-49。 谷歌学者 Janusz A.Brzozowski和Rina S.Cohen。 1971.无星活动的点深度。 《计算机与系统科学杂志》5,1(1971),1-16。 谷歌学者 数字图书馆 Janusz A.Brzozowski和Robert Knast。 1978年,无星语言的点深度层次是无限的。 《计算机与系统科学杂志》16,1(1978),37-55。 谷歌学者 交叉引用 Janusz A.Brzozowski和Imre Simon。 1971.局部可测试事件的特征。 第十二届交换与自动机理论年会(SWAT’71)会议记录。 IEEE,密歇根州东兰辛,166--176。 谷歌学者 数字图书馆 Janusz A.Brzozowski和Imre Simon。 1973.局部可测试事件的特征。 离散数学4,3(1973),243--271。 谷歌学者 数字图书馆 朱利叶斯·布基(Julius R.Büchi)。 1960。弱二阶算法和有限自动机。 《数理逻辑季刊》6,1-6(1960),66-92。 谷歌学者 交叉引用 Sang Cho和Dung T.Huynh。 1991年。有限自动非周期性是PSPACE完成的。 理论计算机科学88,1(1991),99-116。 谷歌学者 数字图书馆 托马斯·科尔科姆贝特。 2010.无限单词的分解森林和可数分散线性排序的应用。 理论计算机科学411,4-5(2010),751--764。 谷歌学者 数字图书馆 托马斯·科尔科姆贝特。 2011年。格林关系及其在自动机理论中的应用。 《第五届语言与自动机理论与应用国际会议论文集》(LATA’11),计算机科学讲义,Adrian-Horia Dediu,Shunsuke Inenaga和Carlos Martín-Vide(编辑),第6638卷。 柏林施普林格,1-21。 谷歌学者 数字图书馆 托马斯·科尔科姆贝特。 2019.因子分解森林定理。 在《自动机理论手册》中,Jean-Eric Pin(Ed.)。 第一卷:理论基础。 欧洲数学。 苏黎世索契。 出现。 谷歌学者 大卫·考恩。 1993.点深二的逆幺半群。 国际代数与计算杂志03,04(1993),411--424。 谷歌学者 交叉引用 Wojciech Czerwinn ski、Wim Martens和Tomásh Masopust。 2013.按子序列和后缀有效区分常规语言。 《第40届国际自动化、语言和编程学术讨论会论文集》(ICALP’13),《计算机科学讲义》,Fedor V.Fomin、Rusins Freivalds、Marta Z.Kwiatkowska和David Peleg(编辑),第7966卷。 柏林施普林格,150-161。 谷歌学者 数字图书馆 沃尔克·迪克特和保罗·加斯丁。 2008.一阶可定义语言。 《逻辑与自动化:历史与展望》,Jörg Flum、Erich Grädel和Thomas Wilke主编。 逻辑与游戏课文,第二卷。 阿姆斯特丹大学出版社,荷兰阿姆斯特丹,261-306。 谷歌学者 塞缪尔·艾伦伯格(Samuel Eilenberg),1976年。 自动化、语言和机器。 第二卷,学术出版社,佛罗里达州奥兰多。 谷歌学者 数字图书馆 卡尔文·埃尔戈特(Calvin C.Elgot)。 有限自动机设计和相关算法的决策问题。 《美国数学学会学报》98,1(1961),21-51。 谷歌学者 交叉引用 Christian Glaßer和Heinz Schmitz。 2000年。点深度语言3/2。 在第17届计算机科学理论方面年度研讨会(STACS'00)的会议记录中,《计算机科学讲稿》,霍斯特·赖切尔和索菲·蒂森(编辑),第1770卷。 柏林施普林格,555-566。 谷歌学者 数字图书馆 Christian Glaßer和Heinz Schmitz。 2008年。点深语言3/2。 计算系统理论42,2(2008),256-286。 谷歌学者 数字图书馆 桥口小三郎。 1983.正则语言的表示定理。 《计算机与系统科学杂志》27,1(1983),101-115。 谷歌学者 交叉引用 卡斯滕·亨克尔(Karsten Henckell)。 点集:有限半群的最佳非周期覆盖。 《纯粹与应用代数杂志》55(1988),85-126。 谷歌学者 交叉引用 卡斯滕·亨克尔和让·埃里克·宾。 2000.有序幺半群和J-平凡幺半群。 在群和半群的算法问题中,Jean-Camille Birget、Stuart Margolis、John Meakin和Mark Sapir(编辑)。 Birkhäuser,马萨诸塞州波士顿,121-137。 谷歌学者 交叉引用 Karsten Henckell、John Rhodes和Benjamin Steinberg,2010年。 非周期性点状及以上。 《国际代数与计算杂志》20,2(2010),287-305。 谷歌学者 交叉引用 彼得·希金斯(Peter M.Higgins)。 1997.关于分段可测试语言的西蒙定理的证明。 理论计算机科学178,1-2(1997),257--264。 谷歌学者 数字图书馆 彼得·希金斯(Peter M.Higgins)。 2000.Schützenberger定理的新证明。 国际代数与计算杂志10,02(2000),217--220。 谷歌学者 交叉引用 约翰·豪伊(John M.Howie)。 1991.自动化与语言。 克拉伦登出版社,牛津。 谷歌学者 数字图书馆 尼尔·伊梅尔曼。 1999.描述性复杂性。 柏林施普林格。 谷歌学者 普拉蒂克·卡兰迪卡尔(Pratek Karandikar)、曼弗雷德·库夫莱特纳(Manfred Kufleitner)和菲利普·施诺贝伦(Philippe Schnoebelen)。 2015.关于Simon的分段可测试性一致性指数。 《信息处理快报》115,4(2015),515--519。 谷歌学者 数字图书馆 Ondřej Klíma。 2011.通过单词组合的分段可测试语言。 离散数学311,20(2011),2124--2127。 谷歌学者 数字图书馆 Ondřej Kli ma和Libor Polák。 2013.分段可测试语言的替代自动机特征。 语言理论发展。 柏林施普林格,289--300。 谷歌学者 罗伯特·克纳斯特。 点深一语言的半群特征。 RAIRO:理论信息学与应用17,4(1983),321-330。 谷歌学者 罗伯特·克纳斯特。 图同余的一些定理。 RAIRO:理论信息学与应用17,4(1983),331-342。 谷歌学者 曼弗雷德·库夫莱特纳。 2008年,因子化森林的高度。 在第33届计算机科学数学基础国际研讨会(MFCS'08)的会议记录中,《计算机科学讲义》,爱德华·奥奇曼斯基和杰日·蒂什基维奇(编辑),第5162卷。 柏林施普林格,443-454。 谷歌学者 数字图书馆 热拉尔·拉莱门特(Gérard Lallement)。 1979.半群和组合应用。 John Wiley 8 Sons,纽约州纽约市。 谷歌学者 数字图书馆 Leonid Libkin,2004年。 有限模型理论基础。 柏林施普林格。 谷歌学者 数字图书馆 Cláudio L.Lucchesi、Imre Simon、Istvan Simon、Janos Simon和Tomasz Kowaltowski。 1979年,《计算机方面》。 圣保罗IMPA。 2019年2月16日检索自 http://www.impa.br/opencms/pt/biblioteca/cbm/11CBM/11_cbm_77_04.pdf。 谷歌学者 斯图亚特·马戈利斯和让·埃里克·宾。 幂幺半群和有限J-平凡幺半群。 半群论坛29(1984),99-108。 谷歌学者 交叉引用 斯图亚特·马戈利斯和让·埃里克·宾。 1985年。群体语言的产物。 在《第五届计算理论基础国际研讨会论文集》(FCT’85),《计算机科学讲义》,Lothar Budach(编辑),第199卷。 柏林施普林格,285-299。 谷歌学者 数字图书馆 罗伯特·麦克诺顿。 1974.局部可测试性的代数决策程序。 数学系统理论8,1(1974),60-76。 谷歌学者 交叉引用 Robert McNaughton和Seymour A.Papert。 1971.无计数器自动装置。 麻省理工学院出版社,马萨诸塞州剑桥。 谷歌学者 数字图书馆 阿尔伯特·梅耶(Albert R.Meyer)。 1969.关于无星活动的说明。 美国医学会期刊16,2(1969),220-225。 谷歌学者 数字图书馆 阿尼尔·内罗德。 1958.线性自动机转换。 程序。 阿默尔。 数学。 Soc.9,4(1958),541--544。 谷歌学者 交叉引用 多米尼克·佩林(Dominique Perrin),1990年。 有限自动机。 在形式模型和语义中。 阿姆斯特丹爱思唯尔,1-57。 谷歌学者 数字图书馆 多米尼克·佩林和让·埃里克·宾。 1986.一阶逻辑和无星集合。 《计算机与系统科学杂志》32,3(1986),393--406。 谷歌学者 数字图书馆 让·埃里克·宾。 1984年,语言形式多样。 巴黎马森。英语翻译:1986年,各种正式语言,纽约州纽约市普伦姆。 谷歌学者 数字图书馆 让·埃里克·宾。 有限半群和可识别语言:简介。 在半群、形式语言和群中。 柏林施普林格,1-32。 谷歌学者 让-埃里克·平。 1995.一个没有互补的多样性定理。 《俄罗斯数学》(Izvestiya Vuzov,Matematika)39(1995),74-83。 谷歌学者 让·埃里克·宾。 1996年,Büchi序列演算中存在一阶句子的表达能力。 第23届国际自动化、语言和编程学术讨论会(ICALP’96)会议记录。 柏林施普林格,300-311。 谷歌学者 数字图书馆 让·埃里克·宾。 1997.句法半群。 在形式语言手册中。 施普林格,柏林,679-746。 谷歌学者 数字图书馆 让·埃里克·宾。 1998.连接层次结构的桥梁。 《第25届国际自动化、语言和编程学术讨论会(ICALP’98)会议记录》,《计算机科学讲稿》,Kim Guldstrand Larsen、Sven Skyum和Glynn Winskel(编辑),第1443卷。 柏林施普林格,431-442。 谷歌学者 数字图书馆 让·埃里克·宾。 2005年,比奇序贯演算中存在一阶句子的表达能力。 离散数学291,1-3(2005),155--174。 谷歌学者 数字图书馆 让·埃里克·宾。 2011年,串联产品的主题和变化。 《第四届代数信息学国际会议论文集》(CAI'11),计算机科学讲义,弗兰兹·温克勒(编辑),第6742卷。 柏林施普林格,44-64。 谷歌学者 数字图书馆 让·埃里克·宾。 2013.正则语言两个多项式交集的显式公式。 语言理论发展。 柏林施普林格,31-45。 谷歌学者 让·埃里克·宾。 2017年,45年后的点状层次结构。 在《理论在计算机科学中的作用》(The Role of Theory In Computer Science)一书中,作者是Janusz Brzozowski、Stavros Konstantinidis、Nelma Moreira、Rogério Reis和Jeffrey Shallit(编辑)。 世界科学,新加坡,177-202。 谷歌学者 让·埃里克·宾。 2018.自动机理论的数学基础。 (2018). https://www.irif.fr/&sim ; jep/MPRI/MPRI.html。 谷歌学者 让·埃里克·宾和霍华德·斯特劳宾,1981年。 上三角布尔矩阵的幺半群。 在半群中。 结构与泛代数问题,S.Schwarz、G.Pollák和O.Steinfeld(编辑)。 社会数学学术讨论会Janos Bolyal,第39卷。 北荷兰,塞格德,匈牙利,259-272。 谷歌学者 让·埃里克·宾和帕斯卡·韦尔。 1995.多项式闭包和明确乘积。 第22届国际自动化、语言和编程学术讨论会(ICALP’95)论文集。 柏林施普林格,348-359。 谷歌学者 数字图书馆 让·埃里克·宾和帕斯卡·韦尔。 1996。Profinite半群,Mal'cev乘积和恒等式。 《代数杂志》182,3(1996),604-626。 谷歌学者 交叉引用 让·埃里克·宾和帕斯卡·韦尔。 1996。有限一阶结构伪变种的Reiterman定理。 《代数普遍》35,4(1996),577--595。 谷歌学者 交叉引用 让·埃里克·宾和帕斯卡·韦尔。 2001.关于级联积的一个猜想。 《RAIRO Informatique Théorique》35,6(2001),597-618。 谷歌学者 交叉引用 让·埃里克·宾和帕斯卡·韦尔。 有序半群的圈积原理。 代数通信30(2002),5677-5713。 谷歌学者 交叉引用 让·埃里克·宾和帕斯卡·韦尔。 1997.多项式闭包和明确乘积。 计算系统理论30,4(1997),383--422。 谷歌学者 交叉引用 尼古拉斯·皮彭格。 1997年,可计算性理论。 剑桥大学出版社,英国剑桥。 谷歌学者 数字图书馆 托马斯广场。 2015.用两个量词交替分隔正规语言。 第30届ACM/IEEE计算机科学逻辑研讨会论文集(LICS’15)。 IEEE,日本京都,202-213。 谷歌学者 数字图书馆 Thomas Place、Lorijn van Rooijen和Marc Zeitoun。 2013年,通过本地可测试语言和本地阈值可测试语言分离常规语言。 在第33届IARCS软件技术和理论计算机科学基础年会(FSTTCS’13)的会议记录中,莱布尼茨国际信息学会议记录,Anil Seth和Nisheeth K.Vishnoi(编辑),第24卷。 达格斯图尔宫——莱布尼茨-泽特鲁姆富尔-Informatik,达格斯图,德国,363-375。 谷歌学者 Thomas Place、Lorijn van Rooijen和Marc Zeitoun。 2013.用分段可测试和明确的语言分离正则语言。 第38届计算机科学数学基础国际研讨会(MFCS’13)会议记录,《计算机科学讲义》,Krishnendu Chatterjee和JiríSgall(编辑),第8087卷。 柏林施普林格,729-740。 谷歌学者 交叉引用 托马斯·普莱斯(Thomas Place)和马克·泽顿(Marc Zeitoun)。 2014年。在单词的一级量词交替层次中上升。 在《第41届自动机、语言和程序设计国际学术讨论会论文集》(ICALP'14),《计算机科学讲义》,哈维尔·埃斯帕扎、皮埃尔·弗雷吉诺、Thore Husfeldt和Elias Koutsopias(编辑),第8572卷。 施普林格,柏林,342-353。 谷歌学者 托马斯·普莱斯(Thomas Place)和马克·泽顿(Marc Zeitoun)。 2014.将正则语言与一阶逻辑分离。 在第23届EACSL计算机科学逻辑年会联席会议和第29届ACM/IEEE计算机科学逻辑研讨会(CSL-LICS’14)的会议记录中,Thomas A.Henzinger和Dale Miller(编辑)。 ACM,纽约州纽约市,75:1-75:10。 谷歌学者 数字图书馆 托马斯·普莱斯(Thomas Place)和马克·泽顿(Marc Zeitoun)。 2015.分离和继承关系。 《第32届计算机科学理论方面年度会议论文集》(STACS’15),莱布尼茨国际信息学论文集,恩斯特·梅尔和尼古拉·奥林格(编辑),第30卷。 达格斯图尔宫——莱布尼茨-泽特鲁姆富尔信息宫,德国达格斯图,662-675。 谷歌学者 Thomas Place和Marc Zeitoun。 2015年,量词在单词上的一阶逻辑交替层次的故事。 SIGLOG新闻2,3(2015),4-17。 http://siglog.hosting.acm.org/wp-content/uploads/2015/10/siglog_news_5.pdf。 谷歌学者 数字图书馆 托马斯·普莱斯(Thomas Place)和马克·泽顿(Marc Zeitoun)。 2016.将正则语言与一阶逻辑分离。 《计算机科学中的逻辑方法》12,1(2016),1-30。 谷歌学者 数字图书馆 克劳斯·莱因哈特。 将逻辑转换为有限自动机的复杂性。 在《自动化、逻辑和无限游戏:当前研究指南》{Dagstuhl研讨会的成果,2001年2月},《计算机科学讲义》,Erich Grädel、Wolfgang Thomas和Thomas Wilke(编辑),第2500卷。 柏林施普林格,231-238。 谷歌学者 数字图书馆 简·雷特曼(Jan Reiterman)。 有限代数的Birkhoff定理。 《代数普遍性》14,1(1982),1-10。 谷歌学者 交叉引用 约翰·罗德斯。 有限半群的不确定性、自动机和伪变差。 国际代数与计算杂志9,3-4(1999),455--474。 谷歌学者 交叉引用 雅克·萨卡罗维奇和伊姆雷·西蒙。 1997.副词。 在单词组合数学中,Lothaire。 剑桥大学出版社,英国剑桥。105-144。 谷歌学者 马塞尔·保罗·舒恩伯格(Marcel Paul Schützenberger)。 1955-1956. 代码不完整。 塞米奈尔·杜布雷。 Algèbre et Théorie Des Nombres 9(1955-1956),1-24。 http://eudml.org/doc/111094。 谷歌学者 马塞尔·保罗·舒恩伯格(Marcel Paul Schützenberger)。 1965。关于只有平凡子群的有限幺半群。 《信息与控制》8,2(1965),190-194。 谷歌学者 交叉引用 马塞尔·保罗·舒恩伯格(Marcel Paul Schützenberger)。 1976年,无矛盾生产。 半群论坛13(1976),47-75。 谷歌学者 交叉引用 我是西蒙。 1972年点深度事件的层次结构。 博士论文。 滑铁卢大学,滑铁卢,安大略省。 谷歌学者 我是西蒙。 1975年。可分阶段测试的事件。 第二届GI自动理论和形式语言会议论文集,Helmut Brakhage(Ed.)。 柏林施普林格,214-222。 谷歌学者 数字图书馆 我是西蒙。 1990年.有限高度的因子化森林。 理论计算机科学72,1(1990),65-94。 谷歌学者 数字图书馆 本杰明·斯坦伯格(Benjamin Steinberg),2001年。 类点的延迟定理。 半群论坛63,3(2001),281--304。 谷歌学者 交叉引用 雅克·斯特恩。 1985.某些类别常规事件的特征。 理论计算机科学35(1985),17-42。 谷歌学者 交叉引用 雅克·斯特恩。 1985.自动机理论中一些问题的复杂性。 信息与控制66,3(1985),163--176。 谷歌学者 交叉引用 拉里·斯托克梅耶(Larry J.Stockmeyer)。 1974.自动机理论和逻辑中决策问题的复杂性。 博士论文。 马萨诸塞州剑桥市麻省理工学院。 http://opac.inia.fr/record&equals ; b1000295。 谷歌学者 Larry J.Stockmeyer和Albert R.Meyer。 1973.需要指数时间的单词问题(初步报告)。 在第五届年度ACM计算机理论研讨会(STOC'73)的会议记录中,Alfred V.Aho、Allan Borodin、Robert L.Constable、Robert W.Floyd、Michael A.Harrison、Richard M.Karp和H.Raymond Strong(编辑)。 ACM,纽约州纽约市,1-9。 谷歌学者 数字图书馆 霍华德·斯特劳宾(Howard Straubing),1981年。 有限幺半群Schützenberger积的推广。 理论计算机科学13,2(1981),137-150。 谷歌学者 交叉引用 霍华德·斯特劳宾,1985年。 形式为V,D的有限半群变体。纯粹与应用代数杂志36(1985),53-94。 谷歌学者 交叉引用 霍华德·斯特劳宾(Howard Straubing),1986年。 点深2的半群和语言。 第13届国际自动化、语言和编程学术讨论会(ICALP’86)会议记录,计算机科学讲稿,Laurent Kott(Ed.),第226卷。 柏林施普林格,416-423。 谷歌学者 数字图书馆 霍华德·斯特劳宾(Howard Straubing),1988年。 点深二的半群和语言。 理论计算机科学58,1-3(1988),361--378。 谷歌学者 数字图书馆 霍华德·斯特劳宾(Howard Straubing),1994年。 有限自动机、形式逻辑和电路复杂性。 瑞士巴塞尔Birkhauser。 谷歌学者 数字图书馆 霍华德·斯特劳宾(Howard Straubing)和丹尼斯·塞里安(Denis Thérien)。 1988.部分序有限幺半群和I.Simon的一个定理。 《代数杂志》119,2(1988),393--399。 谷歌学者 交叉引用 霍华德·斯特劳宾和帕斯卡·韦尔。 1992.关于点深两种语言的一个猜想。 理论计算机科学104,2(1992),161--183。 谷歌学者 数字图书馆 Pascal Tesson和Denis Thérien。 2002.钻石是永恒的:DA的多样性。在半群、算法、自动机和语言中,Gracinda M.S.Gomes、Jean Eric Pin和Pedro V.Silva(编辑)。 世界科学,新加坡,475-500。 谷歌学者 丹尼斯·塞利安(Denis Thérien)。 有限幺半群的分类:语言方法。 理论计算机科学14,2(1981),195--208。 谷歌学者 交叉引用 丹尼斯·塞利安(Denis Thérien)。 2011年,多样性的力量。 《形式系统的描述复杂性》,计算机科学讲义,马库斯·霍尔泽、马丁·库特里布和乔瓦尼·皮奇奇尼(编辑),第6808卷。 柏林施普林格,43-54。 谷歌学者 数字图书馆 丹尼斯·塞利安和亚历克斯·维斯。 图同余和花环积。 《纯粹与应用代数杂志》36(1985),205-215。 谷歌学者 交叉引用 丹尼斯·塞利安和托马斯·威尔克。 1998.在单词上,两个变量就像一个量词交替一样强大。 杰弗里·斯科特·维特(Jeffrey Scott Vitter)(编辑),第30届美国计算机学会计算机理论研讨会(STOC'98)论文集。 ACM,纽约州纽约市,234--240。 谷歌学者 数字图书馆 沃尔夫冈·托马斯。 1982.用符号逻辑对规则事件进行分类。 《计算机与系统科学杂志》25,3(1982),360-376。 谷歌学者 交叉引用 沃尔夫冈·托马斯。 1984.埃伦费赫特·弗雷塞对策在形式语言理论中的应用。 法国数学协会16(1984),11-21。 谷歌学者 交叉引用 沃尔夫冈·托马斯。 1987年,串联游戏和点深度层次结构。 在计算理论和逻辑中。 柏林施普林格,415-426。 谷歌学者 数字图书馆 沃尔夫冈·托马斯。 1997.语言、自动机和逻辑。 在形式语言手册中。 柏林施普林格。 谷歌学者 数字图书馆 布雷特·蒂尔森。 1987.作为代数的范畴:幺半群理论中的一个基本成分。 《纯粹与应用代数杂志》48,1--2(1987),83-198。 谷歌学者 交叉引用 Avraham N.Trahtman。 验证确定性有限自动机的局部阈值可测试性的算法。 《第四届自动化实现国际研讨会论文集,自动化实现,计算机科学讲义》,Oliver Boldt和Helmut Jürgensen(编辑),第2214卷。 柏林施普林格,164-173。 谷歌学者 数字图书馆 Avraham N.Trahtman。 2001.DFA的分段和局部阈值可测试性。 在第13届计算理论基础国际研讨会(FCT'01)的会议记录中,《计算机科学讲稿》,Rusins Freivalds(Ed.),第2138卷。 伦敦施普林格,347-358。 谷歌学者 数字图书馆 鲍里斯·特拉赫滕布罗特(Boris A.Trakhtenbrot)。 有限自动机和一元谓词逻辑。 Doklady Akademii Nauk SSSR 149(1961),326--329。 俄语。 谷歌学者 帕斯卡·韦尔。 1989.级联产品:一项调查。 有限自动机的形式属性及其应用。 计算机科学讲稿,让·埃里克·宾,第386卷。 柏林施普林格,120-137。 谷歌学者 数字图书馆 帕斯卡·韦尔。 1989.点深二的逆幺半群。 理论计算机科学66,3(1989),233--245。 谷歌学者 数字图书馆 托马斯·威尔克。 1999.离散时间特性分类。 《第16届计算机科学理论方面年度会议论文集》(STACS’99),《计算机科学讲义》,Christoph Meinel和Sophie Tison(编辑),第1563卷。 柏林施普林格,32-46。 谷歌学者 数字图书馆
索引术语
单词的一阶量词交替层次结构越来越高
建议
重复与交替:高阶逻辑中的一个适当层次 我们研究了在高阶逻辑中同时限定高阶变量的最大值和量词的交替对有限结构(或关系数据库)表达能力的影响。 让 $\mathit{AA}^i(r,m)$ 是(……)类。。。