乔纳森·鲍恩。;朱慧彪 何继峰（Jifeng He）在牛津大学及以后：一种欣赏。 （英语） Zbl 07810649号 Bowen，Jonathan P.（编辑）等人，《程序设计理论和形式化方法》。纪念贺继峰80岁生日的散文。查姆：斯普林格。勒克特。注释计算。科学。14080, 3-18 (2023).MSC公司：68-03 01A70号 68号01 PDF格式BibTeX公司 XML格式引用 \textit｛J.P.Bowen｝和\textit｛H.Zhu｝，Lect。注释计算。科学。14080，3-18（2023；Zbl 07810649） 全文： 内政部
沃伊切赫Buszkowski Lambek计算的扩展。 （英语） Zbl 1500.03008号 克劳迪娅·卡萨迪奥（编辑）等人，约阿希姆·兰贝克：数学、逻辑和语言学的相互作用。查姆：斯普林格。外部。控制日志。20, 105-134 (2021). 审核人：Hirokazu Nishimura（筑波） MSC公司：03B47号 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{W.Buszkowski}，Outst（输出）。控制日志。20、105——134（2021；Zbl 1500.03008） 全文： 内政部
费卢兹·切尔 复合图的非确定性语义。 （英语） Zbl 1338.18021号 离散连续。动态。系统。，序列号。S公司 8，第6期，1357-1371（2015）. 审核人：拉兹万·迪亚科内斯库（普洛耶什蒂） MSC公司：18立方厘米 18 C50 68问题55 68问题65 03B70号 06B35号 PDF格式BibTeX公司 XML格式引用 \textit{F.Tchier}，离散Contin。动态。系统。，序列号。S 8，No.6，1357--1371（2015；Zbl 1338.18021） 全文： 内政部
罗兰·巴克豪斯 正则代数应用于语言问题。 （英语） Zbl 1086.68069号 J.日志。阿尔盖布。程序。 66，第2期，71-111（2006）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Backhouse}，J.Log。阿尔盖布。程序。66，No.2，71--111（2006；Zbl 1086.68069） 全文： 内政部
罗兰·巴克豪斯 对代数和Galois连接。 （英语） 兹比尔1341.06004 信息处理。莱特。 67，第4期，169-175（1998）.MSC公司：2015年1月6日 06年06月06日 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{R.Backhouse}，Inf.过程。莱特。67，第4号，169--175（1998年；Zbl 1341.06004） 全文： 内政部 链接
罗杰·马杜克斯。 关系代数语义。 （英语） Zbl 0872.68106号 西奥。计算。科学。 160，编号1-2，1-85（1996）.MSC公司：68问题55 68甲15 03G15年 PDF格式BibTeX公司 XML格式引用 \文本{R.D.Maddux}，Theor。计算。科学。160，编号1--2，1--85（1996；Zbl 0872.68106） 全文： 内政部
托马斯·格里茨纳。;鲁道夫·伯格哈默 鲁棒正确性的关系代数模型。 （英语） Zbl 0871.68125号 西奥。计算。科学。 159，第2期，245-270（1996）.MSC公司：68问题65 PDF格式BibTeX公司 XML格式引用 \textit{T.F.Gritzner}和\textit{R.Berghammer}，Theor。计算。科学。159，第2号，245--270（1996；Zbl 0871.68125） 全文： 内政部
陈志忠 最大路径集的并行构造及其在短超弦中的应用。 （英语） Zbl 0877.68075号 西奥。计算。科学。 160，第1-2、1-21号（1996年）.MSC公司：65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{Z.-Z.Chen}，Theor（西奥）。计算。科学。160，编号1--2，1--21（1996；Zbl 0877.68075） 全文： 内政部
朱尔斯·德沙奈斯;纳迪尔·贝尔基特;萨拉赫·本·穆罕默德·斯盖尔;费鲁兹Tchier;阿里·贾阿 在关系代数中嵌入恶魔半格。 （英语） Zbl 0874.68199号 西奥。计算。科学。 149，第2期，333-360（1995）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Desharnais}等人，Theor。计算。科学。149，第2号，333--360（1995；Zbl 0874.68199） 全文： 内政部
比亚尼·Jónsson;君士坦丁·齐纳基斯 关系代数作为剩余布尔代数。 （英语） Zbl 0792.06012号 代数大学。 30，第4期，469-478（1993）. 审核人：R.Maddux（艾姆斯） MSC公司：06E25年 03G15年 PDF格式BibTeX公司 XML格式引用 \textit{B.Jónsson}和\textit{C.Tsinakis}，代数大学。30，第4号，469--478（1993；Zbl 0792.06012） 全文： 内政部
朱尔斯·德沙奈斯;阿里·贾阿;法塔玛·米莉;布德里加，努里丁;阿里·米莉 关系除法运算符：共轭核。 （英语） Zbl 0779.68058号 西奥。计算。科学。 114，第2期，247-272（1993）. 审核人：C.哈特斯佩格 MSC公司：60年第68季度 68年 68问题55 03G15年 PDF格式BibTeX公司 XML格式引用 \textit｛J.Desharnais｝等人，Theor。计算。科学。114，第2号，247--272（1993；Zbl 0779.68058） 全文： 内政部
伊斯坦·内梅蒂 量词逻辑的代数化，导论。 （英语） Zbl 0772.03033号 螺柱日志。 50，第3-4485-569号（1991年）. 审核人：J.Monk（巨石） MSC公司：03G15年 03-02 03C95号 PDF格式BibTeX公司 XML格式引用 \textit{I.Németi}，研究日志。50，编号3--4，485--569（1991；Zbl 0772.03033） 全文： 内政部
埃瓦州奥洛斯卡 最弱预规范的证明系统。 （英语） Zbl 0647.68108号 信息处理。莱特。 27，第6号，309-313（1988）.MSC公司：68第20页 03B45号 68第05页 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{E.Orlowska}，Inf.流程。莱特。27，第6号，309--313（1988；Zbl 0647.68108） 全文： 内政部