塞利亚·博利多;布雷特·麦克莱恩 部分函数的微分限制代数:公理化和表示。 (英语) Zbl 07556313号 代数大学。 83,第3期,第24号论文,27页(2022年).MSC公司:03G10年 2012年1月6日 06至75 PDF格式BibTeX公司 XML格式引用 \textit{C.Borlido}和\textit{B.McLean},代数大学。83,第3号,第24号论文,第27页(2022;Zbl 07556313) 全文: 内政部 arXiv公司
塞利亚·博利多;布雷特·麦克莱恩 带算子的部分函数的微分限制代数:离散对偶和完备。 (英语) Zbl 1521.08002号 J.代数 604, 760-789 (2022). 审核人:比扬·达瓦兹(亚兹德) MSC公司:08A05号 08A55号 18B10型 PDF格式BibTeX公司 XML格式引用 \textit{C.Borlido}和\textit{B.McLean},《代数》604、760——789(2022;Zbl 1521.08002) 全文: 内政部 arXiv公司
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公司
苏、基尤;蒂姆·斯托克斯 的代数性质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) 全文: 内政部
Panicker,加亚特里;Krishna,K.V.公司。;普兰达尔·巴杜里 带有测试的非暂停程序的单元体。 (英语) 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) 全文: 内政部
Panicker,加亚特里;Krishna,K.V.公司。;普兰达尔·巴杜里 将if-then-else公理化为可能的非暂停程序和测试。 (英语) Zbl 1365.68165号 国际代数计算杂志。 27,第3号,273-297(2017).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{G.Panicker}等人,国际代数计算杂志。27,第3号,273--297(2017;Zbl 1365.68165) 全文: 内政部 arXiv公司