Schmidt Schauß,曼弗雷德;克劳斯·舒尔茨。 有界高阶统一的判定性。 (英语) Zbl 1126.03017号 J.塞姆。计算。 40,第2期,905-954(2005).MSC公司:03年2月25日 03B40型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}和\textit{K.U.Schulz},J.Symb。计算。40,第2号,905--954(2005;Zbl 1126.03017) 全文: 内政部 链接
Schmidt Schauß,曼弗雷德;克劳斯·舒尔茨。 具有两个上下文变量的上下文方程的可解性是可判定的。 (英语) Zbl 1017.68165号 J.塞姆。计算。 33,第1期,77-122(2002).MSC公司:68瓦30 03年2月25日 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}和\textit{K.U.Schulz},J.Symb。计算。33,第1号,77-122(2002;Zbl 1017.68165) 全文: 内政部
弗兰兹·巴德;克劳斯·舒尔茨。 自由和准自由结构的约束求解器组合。 (英语) Zbl 0895.68019号 西奥。计算。科学。 192,第1期,第107-161页(1998年).MSC公司:68N17号 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}和\textit{K.U.Schulz},Theor。计算。科学。192,编号1,107--161(1998;Zbl 0895.68019) 全文: 内政部
弗兰兹·巴德;克劳斯·舒尔茨。 不统一的组合技术和决策问题。 (英语) Zbl 0873.68188号 西奥。计算。科学。 142,第2期,229-255(1995).MSC公司:68伏15 03年2月25日 03B35型 03C05号机组 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}和\textit{K.U.Schulz},Theor。计算。科学。142,No.2,229--255(1995;Zbl 0873.68188) 全文: 内政部 内政部
弗兰兹·巴德;克劳斯·舒尔茨。 约束求解技术的组合:代数观点。 (英语) Zbl 1503.03014号 项洁(编辑),重写技术与应用。第六届国际会议,RTA-95,德国凯泽斯劳滕,1995年4月5-7日。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。914, 352-366 (1995).MSC公司:03B35型 03C05号机组 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}和\textit{K.U.Schulz},莱克特。注释计算。科学。914352-366(1995年;Zbl 1503.03014) 全文: 内政部
弗兰兹·巴德;克劳斯·舒尔茨。 不统一的组合技术和决策问题。 (英语) Zbl 1503.03013号 克洛德·基什纳(编辑),《重写技术与应用》。1993年6月16日至18日,加拿大蒙特利尔,RTA-93第五届国际会议。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。690, 301-315 (1993).MSC公司:03B35型 03年2月25日 03C05号机组 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}和\textit{K.U.Schulz},莱克特。注释计算。科学。690301--315(1993;Zbl 1503.03013) 全文: 内政部