塞利亚·博利多;布雷特·麦克莱恩 带算子的部分函数的微分限制代数：离散对偶和完备。 （英语） Zbl 1521.08002号 J.代数 604, 760-789 (2022). 审核人：比扬·达瓦兹（亚兹德） MSC公司：08A05号 08A55号 18B10型 PDF格式BibTeX公司 XML格式引用 \textit{C.Borlido}和\textit{B.McLean}，J.代数604，760--789（2022；Zbl 1521.08002） 全文： 内政部 arXiv公司
罗宾·赫希;蒂姆·斯托克斯 具有域和恶魔组成的签名公理。 （英语） Zbl 1476.03086号 代数大学。 82，第2号，第24号论文，第19页（2021年）. 审核人：格里戈里·日托米尔斯基（赫兹利娅） MSC公司：03G15年 05年6月 08A02级 20平方米 PDF格式BibTeX公司 XML格式引用 \textit｛R.Hirsch｝和\textit｛T.Stokes｝，代数宇宙。82，第2号，第24号文件，第19页（2021年；Zbl 1476.03086） 全文： 内政部 链接
Panicker，加亚特里;Krishna，K.V.公司。;普兰达尔·巴杜里 通过原子性和if-then-else公司. （英语） Zbl 1452.03141号 代数大学。 81，第2期，第22号论文，27页（2020年）. 审核人：伊万·查伊达（Přerov） MSC公司：03G25号 08A05号 06电子75 PDF格式BibTeX公司 XML格式引用 \textit{G.Panicker}等人，代数大学。81，第2号，第22号论文，27页（2020年；Zbl 1452.03141） 全文： 内政部 arXiv公司
Alpunte，M。;A.昆卡-奥尔特加。;埃斯科瓦尔，S。;梅塞盖尔，J。 顺序排序的等式程序模公理的部分评估框架。 （英语） Zbl 1494.68048号 J.日志。阿尔盖布。方法计划。 110，文章ID 100501，36 p.（2020）.MSC公司：68号30 08A70号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人，J.Log。阿尔盖布。方法计划。110，文章ID 100501，36 p.（2020；Zbl 1494.68048） 全文： 内政部
苏、基尤;蒂姆·斯托克斯 的代数性质if-then-else公司和交换三值检验。 （英语） Zbl 1492.68042号 国际代数计算杂志。 29，第4号，743-759（2019）.MSC公司：68号30 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{K.-U.Soo}和\textit{T.Stokes}，国际代数计算杂志。29，第4号，743--759（2019；Zbl 1492.68042） 全文： 内政部
齐亚塞洛蒂，G。;詹蒂莱，T。;Infusino，F。 配对和相关的对称概念。 （英语） Zbl 1436.08001号 塞西州费拉拉安大学。七、 科学。材料。 64，第2号，285-322（2018）. 审核人：伊万·查伊达（Přerov） MSC公司：08A02级 08A05号 06年06月06日 06年05月 06A75号 05C65号 54A05型 PDF格式BibTeX公司 XML格式引用 \textit{G.Chiaselotti}等人，塞兹州费拉拉安大学。七、 科学。材料64，编号285-322（2018；Zbl 1436.08001） 全文： 内政部
路易吉·桑托卡纳莱 嵌入到关系格中是无法确定的。 （英语） Zbl 1394.68119号 J.日志。阿尔盖布。方法计划。 97, 131-148 (2018).MSC公司：第68页，共15页 03天35分 05年6月 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Santocanale}，J.Log。阿尔盖布。方法计划。97、131--148（2018年；Zbl 1394.68119） 全文： 内政部 哈尔
Panicker，加亚特里;克里希纳，K.V。;普兰达尔·巴杜里 带有测试的不停止程序的Monoids。 （英语） Zbl 1400.08003号 代数大学。 79，第1号，第8号论文，29页（2018年）. 审核人：朱尼斯·切鲁利斯（里加） MSC公司：08A70号 03G25号 20立方米 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{G.Panicker}等人，代数大学。79，第1号，第8号论文，29页（2018；Zbl 1400.08003） 全文： 内政部
路易吉·桑托卡纳莱 嵌入到关系格中是无法确定的。 （英语） Zbl 1486.68050号 Höfner，Peter（编辑）等人，《计算机科学中的关系和代数方法》。2017年5月15日至18日在法国里昂举行的2017年RAMiCS第16届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10226, 258-273 (2017).MSC公司：第68页，共15页 03天35分 05年6月 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Santocanale}，莱克特。注释计算。科学。10226、258--273（2017；Zbl 1486.68050） 全文： 内政部 哈尔
鲁道夫·伯格哈默;沃尔特·古特曼 多重关系及其性质的代数方法。 （英语） Zbl 1471.03088号 J.日志。阿尔盖布。方法计划。 88, 45-63 (2017).MSC公司：03G15年 08A02级 PDF格式BibTeX公司 XML格式引用 \textit{R.Berghammer}和\textit{W.Guttmann}，J.Log。阿尔盖布。方法计划。88、45-63（2017年；Zbl 1471.03088） 全文： 内政部
佐尔坦·埃西克 三元等式语言。 （英语） Zbl 1484.08011号 Han，Yo-Sub（编辑）等，自动机的实现和应用。2016年7月19日至22日，第21届国际会议，CIAA 2016，韩国首尔。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9705, 77-88 (2016).MSC公司：08A62号 2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.e-sik}，Lect（勒克图）。注释计算。科学。9705,77--88（2016；Zbl 1484.08011） 全文： 内政部
路易吉·桑托卡纳莱 通过对偶的关系格。 （英语） Zbl 1477.06015号 Hasuo，Ichiro（编辑），计算机科学中的协代数方法。2016年4月2日至3日，第13届IFIP工作组1.3国际研讨会，CMCS 2016，与ETAPS 2016合办，荷兰埃因霍温。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9608, 195-215 (2016).MSC公司：06B15号 06B23号 08A70号 第68页，共15页 PDF格式BibTeX公司 XML格式引用 \textit{L.Santocanale}，莱克特。注释计算。科学。9608195-215（2016；Zbl 1477.06015） 全文： 内政部 arXiv公司 哈尔