安德鲁·劳伦斯;乌尔里希·伯杰;莫尼卡·塞森伯格 提取DPLL算法。 (英语) Zbl 1342.68293号 Berger,Ulrich(编辑)等人,《第28届编程语义数学基础会议论文集》(MFPS XXVIII),英国巴斯,2012年6月6日至9日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记286243-256(2012)。MSC公司:68吨15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Lawrence}等人,《电子》。注释Theor。计算。科学。286243-256(2012;Zbl 1342.68293) 全文: 内政部
乌尔里希·伯杰 统一Heyting算法。 (英语) Zbl 1081.03057号 Ann.纯粹应用。逻辑 133,编号1-3,125-148(2005).MSC公司:30楼03号 07年3月 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{U.Berger},Ann.《纯粹的应用》。逻辑133,编号1--3,125-148(2005;Zbl 1081.03057) 全文: 内政部
克劳斯·埃利格;乌尔里希·伯杰;马丁·霍夫曼;赫尔穆特·施维赫滕贝格 一种用于非增倍多项式时间计算的算法。 (英语) Zbl 1064.03036号 西奥。计算。科学。 318,编号1-2,3-27(2004).MSC公司:20层03 2015年3月1日 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{K.Aehlig}等人,Theor。计算。科学。318,编号1--2,3--27(2004;Zbl 1064.03036) 全文: 内政部
乌尔里希·伯杰;马蒂亚斯·埃贝尔;赫尔穆特·施维赫滕贝格 通过求值进行规范化的术语重写。 (英语) Zbl 1054.68078号 Inf.计算。 183,第1期,19-42(2003).MSC公司:2012年第68季度 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{U.Berger}等人,《信息计算》。183,第1号,19--42(2003;Zbl 1054.68078) 全文: 内政部