阿德里亚·加斯科恩;吉勒姆·戈多伊;曼弗雷德·施密特·沙乌;阿什什·蒂瓦里 与一个上下文变量的上下文统一。 (英语) Zbl 1192.68431号 J.塞姆。计算。 第2期第45页,第173-193页(2010年).MSC公司:60年第68季度 68纳米99 PDF格式BibTeX公司 XML格式引用 \textit{A.Gascon}等人,J.Symb。计算。45,第2号,173--193(2010;Zbl 1192.68431) 全文: 内政部 链接
约尔迪·利维;马图·维拉雷特 在二阶统一中简化签名。 (英语) 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年;兹bl 1196.68113) 全文: 内政部
特默尔库西亚 平面匹配。 (英语) Zbl 1152.68059号 J.塞姆。计算。 43,第12号,858-873(2008).MSC公司:68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{T.库西亚},J.塞姆。计算。43,编号128588-873(2008年;兹bl 1152.68059) 全文: 内政部
呃,凯特琳;约阿希姆·尼伦 分层上下文统一中的优势约束。 (英语) Zbl 1185.68386号 信息处理。莱特。 101,第4期,141-147(2007).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Erk}和\textit{J.Niehren},Inf.过程。莱特。101,第4号,141--147(2007;Zbl 1185.68386) 全文: 内政部 链接
曼弗雷德·施密特·沙乌;克劳斯·舒尔茨。 有界高阶统一的判定性。 (英语) 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) 全文: 内政部 链接
曼弗雷德·施密特·沙乌 有界二阶统一的可判定性。 (英语) Zbl 1078.68139号 Inf.计算。 188,第2143-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 1014.68076号 信息处理。莱特。 74,编号1-2,35-40(2000).MSC公司:第68季度第42季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.Niehren}等人,《信息处理》。莱特。74,编号1--2,35-40(2000;Zbl 1014.68076) 全文: 内政部