马丁·迪巴;莫阿塔兹·埃尔·泽基;维莱姆，诺瓦克 非交换性一阶EQ逻辑。 （英语） Zbl 1383.03057号 模糊集系统。 292, 215-241 (2016). 审核人：韦斯·aw A.Dudek（Wroc aw） MSC公司：03G25号 03B52号 06英尺35英寸 PDF格式BibTeX公司 XML格式引用 \textit｛M.Dyba｝等人，《模糊集系统》。292、215--241（2016；Zbl 1383.03057） 全文： 内政部
彼得·霍夫纳 半环邻域：邻域逻辑的代数嵌入和扩展。 （英语） Zbl 1277.03028号 Romijn，Judi（编辑）等人，第五届综合正式方法会议（IFM 2005）附属博士研讨会论文集，荷兰埃因霍温，2005年11月29日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记191，49-72（2007）。MSC公司：03B70号 03B44号 07年6月 2016年60月 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Höfner}，电子。注释Theor。计算。科学。191、49-72（2007年；Zbl 1277.03028） 全文： 内政部
罗伯托·贾科巴齐;伊莎贝拉·马斯特罗埃尼 通过抽象解释转换语义。 （英语） Zbl 1080.68061号 西奥。计算。科学。 337，编号1-3，1-50（2005）. 审核人：达马斯·格鲁斯卡（布拉迪斯拉发） MSC公司：68问题55 06B35号 PDF格式BibTeX公司 XML格式引用 \textit{R.Giacobazzi}和\textit{I.Mastroeni}，Theor。计算。科学。337，编号1-3,1-50（2005年；兹bl 1080.68061） 全文： 内政部
埃里克·C·R·海纳。 从布尔代数到统一代数。 （英语） Zbl 1053.06009号 数学。智力。 26，第2期，第3-19页（2004年）.MSC公司：05年6月 97天30分 97D20型 PDF格式BibTeX公司 XML格式引用 \textit｛E.C.R.Hehner｝，数学。智力。26，第2、3--19号（2004；Zbl 1053.06009） 全文： 内政部
Shmuel Katz;多龙·贝利德 使用代表性交错序列验证分布式程序。 （英语） Zbl 0773.68053号 分布计算。 6，第2期，107-120（1992）.MSC公司：第68季度第60季度 68宽15 68问题55 06B35号 PDF格式BibTeX公司 XML格式引用 \textit{S.Katz}和\textit{D.Peled}，分布计算。6，编号2，107-120（1992；Zbl 0773.68053） 全文： 内政部