佩塔·武克米罗维奇；亚历山大·本特坎普；Nummelin，维萨卡 高效的全高阶统一。 （英文） Zbl 07471678号 日志。方法计算。科学。 17，第4号，第18号论文，31页（2021年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{P.Vukmirović}等人，日志。方法计算。科学。17，第4号，第18号论文，31页（2021；Zbl 07471678） 全文： arXiv公司 链接
托梅尔·利巴尔 二阶统一中的正则模式。 （英文） 兹比尔1465.03054 Felty，Amy P.（编辑）等人，《自动扣除——CADE-25》。2015年8月1日至7日在德国柏林举行的第25届自动扣减国际会议。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。9195, 557-571 (2015).MSC公司：03B35型 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{T.Libal}，莱克特。注释计算。科学。9195、557--571（2015；Zbl 1465.03054） 全文： 内政部 哈尔
约尔迪·利维；马图·维拉雷特 在二阶统一中简化签名。 （英文） Zbl 1196.68113号 申请。代数工程通讯。计算。 20，编号5-6，427-445（2009）. 审核人：马可·加博瓦迪（博洛尼亚） MSC公司：2012年第68季度 03B15号机组 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{J.Levy}和\textit{M.Villaret}，应用。代数工程通讯。计算。20，编号5--6427--445（2009；Zbl 1196.68113） 全文： 内政部
卡瓦西托，S。 证明的长度：克里塞尔猜想和哥德尔加速定理。 （英文） Zbl 1207.03071号 数学杂志。科学。，纽约 158，第5号，689-707（2009）和Zap。诺什。塞明。POMI 358153-188（2008）。 审核人：埃米尔·杰亚贝克（普拉哈） MSC公司：07年3月 20层03 30楼03号 03F40型 PDF格式BibTeX公司 XML格式引用 \textit｛S.Cavagnetto｝，J.数学。科学。，纽约158，编号5689-707（2009年；Zbl 1207.03071） 全文： 内政部
马提亚斯·巴兹；彼得·沃伊泰拉克 [乔治·克雷塞尔] 用单数语言概括证明（带有乔治·克雷塞尔的附言）。 （英文） Zbl 1153.03040号 Ann.纯粹应用。逻辑 154，第2号，71-138（2008）. 审核人：G.E.Mints（斯坦福） MSC公司：03财年03 07年3月 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{M.Baaz}和\textit{P.Wojtylak}，Ann.Pure Appl。逻辑154，No.2，71--138（2008；Zbl 1153.03040） 全文： 内政部
曼弗雷德·施密特·沙乌；克劳斯·舒尔茨。 有界高阶统一的判定性。 （英文） Zbl 1126.03017号 J.塞姆。计算。 40，第2期，905-954（2005）.MSC公司：03B25号 03B40型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}和\textit{K.U.Schulz}，J.Symb。计算。40，第2号，905--954（2005；Zbl 1126.03017） 全文： 内政部 链接
平田洋一；Keizo山田；马塞特鲁·哈罗 二阶匹配问题可处理且难以解决。 （英文） Zbl 1137.68411号 J.塞姆。计算。 37，第5611-628号（2004年）.MSC公司：65年第68季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{K.Hirata}等人，J.Symb。计算。37，第5号，611--628（2004；Zbl 1137.68411） 全文： 内政部
曼弗雷德·施密特·沙乌 有界二阶统一的判定性。 （英文） Zbl 1078.68139号 Inf.计算。 188，第2期，143-178（2004）.MSC公司：68吨15 03B35型 03B40型 03B25号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}，Inf.计算。188，第2号，143--178（2004；Zbl 1078.68139） 全文： 内政部 链接
谢尔盖·沃罗比奥夫 \（尽管存在）-语境统一的方程理论是不可判定的。 （英文） Zbl 1026.68077号 西奥。计算。科学。 275，编号1-2463-479（2002）.MSC公司：2012年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{S.Vorobyov}，Theor（西奥）。计算。科学。275，编号1-2463-479（2002年；Zbl 1026.68077） 全文： 内政部
约尔迪·利维；玛格斯·维纳斯 关于二阶统一的不可判定性。 （英文） Zbl 1005.03007号 Inf.计算。 159，编号1-2，125-150（2000）.MSC公司：03B35型 03天35分 2012年第68季度 68吨15 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit｛J.Levy｝和\textit｛M.Veanes｝，信息计算。159，编号1--2，125-150（2000；Zbl 1005.03007） 全文： 内政部
Samuel R.巴斯。 有界算法、证明复杂性和Parikh的两篇论文。 （英文） Zbl 0924.03106号 Ann.纯粹应用。逻辑 96，编号1-3，43-55（1999）. 审核人：M.Teruamšvili（第比利斯） MSC公司：30楼03号 20层03 07年3月 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.R.Buss}，Ann.纯粹应用。逻辑96，编号1--3，43-55（1999；Zbl 0924.03106） 全文： 内政部
弗里德里希·奥托；巴利亚特·纳伦德兰；丹尼尔·多尔蒂（Daniel J.Dougherty）。 等式统一、单词统一和二阶等式统一。 （英文） Zbl 0902.68093号 西奥。计算。科学。 198，第1-2、1-47号（1998年）.MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Otto}等人，Theor。计算。科学。198，编号1-2，1-47（1998年；Zbl 0902.68093） 全文： 内政部
弗里德里希·奥托；巴利亚特·纳伦德兰；丹尼尔·多尔蒂（Daniel J.Dougherty）。 方程统一的一些独立性结果。 （英文） Zbl 1503.68146号 项洁（编辑），重写技术与应用。第六届国际会议，RTA-95，德国凯泽斯劳滕，1995年4月5-7日。诉讼程序。柏林：Springer-Verlag。勒克特。注释计算。科学。914, 367-381 (1995).MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Otto}等人，Lect。注释计算。科学。914367--381（1995年；Zbl 1503.68146） 全文： 内政部
克里斯蒂安·普雷霍弗 可判定的高阶统一问题。 （英文） Zbl 1433.68562号 阿兰·邦迪（编辑），《自动扣除——CADE-12》。第十二届国际会议，法国南希，1994年6月26日至7月1日。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。814, 635-649 (1994).MSC公司：68伏15 03B25号 03B35型 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{C.普雷霍弗}，莱克特。注释计算。科学。814635-649（1994年；Zbl 1433.68562） 全文： 内政部
休伯特·科蒙 完成具有成员限制的重写系统。 （英文） Zbl 1427.68134号 Kuich，Werner（编辑），《自动化，语言和编程》。第19届国际学术讨论会，1992年7月13日至17日，奥地利维也纳。诉讼程序。柏林：Springer-Verlag。勒克特。注释计算。科学。623, 392-403 (1992).MSC公司：2012年第68季度 03B16号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{H.Comon}，莱克特。注释计算。科学。623、392--403（1992年；Zbl 1427.68134） 全文： 内政部
Farmer，William M。 克雷塞尔长度问题。 （英文） Zbl 0865.03044号 安。数学。Artif公司。智力。 6，编号1-3，27-56（1992）.MSC公司：20层03 PDF格式BibTeX公司 XML格式引用 \textit{W.M.Farmer}，Ann.数学。Artif公司。智力。6，编号1--3，27-56（1992；Zbl 0865.03044） 全文： 内政部
Farmer，William M。 统一不可判定的简单二阶语言。 （英文） Zbl 0731.03005号 西奥。计算。科学。 87，第1号，25-41（1991）. 审核人：G.Mints（斯坦福） MSC公司：03B15号机组 68吨15 03B25号 03B35型 PDF格式BibTeX公司 XML格式引用 \文本{W.M.Farmer}，Theor。计算。科学。87，编号1，25--41（1991；Zbl 0731.03005） 全文： 内政部
Samuel R.巴斯。 可证明性的不可判定性。 （英文） Zbl 0749.03039号 Ann.纯粹应用。逻辑 53，第1号，75-102（1991）. 审核人：M.Yasuhara（普林斯顿） MSC公司：20层03 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{S.R.Buss}，Ann.纯粹应用。逻辑53，编号1，75-102（1991；Zbl 0749.03039） 全文： 内政部
Farmer，William M。 研究可证性问题的统一理论方法。 （英文） Zbl 0735.03001号 Ann.纯粹应用。逻辑 51，第3期，173-214（1991）. 审核人：N.Zamov（喀山） MSC公司：03B25号 20层03 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{W.M.Farmer}，Ann.纯苹果。逻辑51，No.3，173--214（1991；Zbl 0735.03001） 全文： 内政部
韦恩·斯奈德；吉恩·盖利埃 重新审视高阶统一：完整的转换集。 （英文） Zbl 0682.03034号 J.塞姆。计算。 8，编号1-2101-140（1989）. 审核人：N.扎莫夫 MSC公司：35楼03号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{W.Snyder}和\textit{J.Gallier}，J.Symb。计算。8，编号1--2，101-140（1989；Zbl 0682.03034） 全文： 内政部