Dmitry A.Bredikhin。 关于Tarski关系代数的广义子约化所产生的变化。 (英语) Zbl 07742402号 代数大学。 84,第4期,第28号论文,第11页(2023年). 审核人:伊万·查伊达(Přerov) MSC公司:08B05号 08A02级 06年06月06日 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Bredikhin},代数大学。84,第4期,第28号论文,第11页(2023;Zbl 07742402) 全文: 内政部
伊戈尔·塞德拉尔 关于带域的Kleene代数的复杂性。 (英语) Zbl 07728641号 Glück,Roland(编辑)等人,《计算机科学中的关系和代数方法》。第20届国际会议,RAMiCS 2023,德国奥格斯堡,2023年4月3-6日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13896, 208-223 (2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{I.Sedlár},莱克特。注释计算。科学。13896208-223(2023;Zbl 07728641) 全文: 内政部
Šemrl,贾什 域范围半群和有限表示。 (英语) Zbl 07670536号 Fahrenberg,Uli(编辑)等人,《计算机科学中的关系和代数方法》。第19届国际会议,RAMiCS 2021,法国马赛,2021年11月2-5日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13027, 483-498 (2021).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{J.Šemrl},莱克特。注释计算。科学。13027483-498(2021;Zbl 07670536) 全文: 内政部 arXiv公司 链接
Dmitry A.Bredikhin。 关于具有合取运算的二元关系代数。 (英语) Zbl 1476.03085号 代数大学。 82,第3号,第39号论文,18页(2021年). 审核人:韦斯·aw A.Dudek(Wroc aw) MSC公司:03G15年 08B05号 08A02级 05年6月 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Bredikhin},代数大学。82,第3号,第39号文件,第18页(2021年;Zbl 1476.03085) 全文: 内政部
罗宾·赫希;蒂姆·斯托克斯 具有域和恶魔组成的签名公理。 (英语) 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) 全文: 内政部 链接
蒂姆·斯托克斯 如何概括恶魔组成。 (英语) Zbl 1487.20027号 半群论坛 102,编号1,288-314(2021). 审核人:陈胜(哈尔滨) MSC公司:20平方米 20M50型 PDF格式BibTeX公司 XML格式引用 \textit{T.Stokes},半群论坛102,第1期,288--314(2021;Zbl 1487.20027) 全文: 内政部 链接
Dmitry A.Bredikhin。 关于与二元柱面化运算有关的群胚的Jónsson问题。 (英语) 兹比尔1486.03119 代数大学。 82,第1号,第3号论文,第9页(2021年). 审核人:基思·卡恩斯(博尔德) MSC公司:03G15年 08B05号 08A02级 06年06月06日 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Bredikhin},代数大学。82,第1号,第3号论文,第9页(2021年;Zbl 1486.03119) 全文: 内政部
布雷特·麦克莱恩 具有域的自由Kleene代数。 (英语) 兹比尔1484.08014 J.日志。阿尔盖布。方法计划。 117,文章ID 100606,14 p.(2020).MSC公司:08B20号 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{B.McLean},J.Log。阿尔盖布。方法计划。117,文章ID 100606,14 p.(2020;Zbl 1484.08014) 全文: 内政部 arXiv公司
Bredikhin博士。 关于具有一个丢番图二元运算的Tarski关系代数的广义子约化类。 (英语。俄文原件) Zbl 1515.03229号 数学。笔记 106,第6号,872-884(2019);翻译自Mat.Zametki 106,编号6,821-836(2019)。MSC公司:03G15年 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Bredikhin},数学。附注106,第6号,872--884(2019;Zbl 1515.03229);翻译自Mat.Zametki 106,No.6,821--836(2019) 全文: 内政部
马塞尔·杰克逊;米库拉斯(Mikulás,Szabolcs) 天使和恶魔作品的领域和范围。 (英语) Zbl 1417.68033号 J.日志。阿尔盖布。方法计划。 103, 62-78 (2019).MSC公司:68号30 08A70号 20个M10 PDF格式BibTeX公司 XML格式引用 \textit{M.Jackson}和\textit{S.MikuláS},J.Log。阿尔盖布。方法计划。103、62-78(2019年;Zbl 1417.68033) 全文: 内政部 arXiv公司 链接
Dmitry A.Bredikhin。 关于双向交运算关系的Tarski代数的广义子约化。 (英语) Zbl 1522.03339号 代数大学。 79,第4号,第77号论文,16页(2018年).MSC公司:03G15年 08B05号 08A02级 1999年6月 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Bredikhin},代数大学。79,第4号,第77号论文,16页(2018;Zbl 1522.03339) 全文: 内政部
马塞尔·杰克逊;蒂姆·斯托克斯 带有测试和可能非暂停程序代数的单体。 (英语) Zbl 1319.68085号 J.日志。阿尔盖布。方法计划。 84,第2期,259-275(2015).MSC公司:2005年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Jackson}和\textit{T.Stokes},J.Log。阿尔盖布。方法计划。84,第2号,259--275(2015;Zbl 1319.68085) 全文: 内政部 arXiv公司
罗宾·赫希;米库拉斯(Mikulás,Szabolcs) 有序域代数。 (英语) Zbl 1284.03275号 J.应用。日志。 第3期第11期,第266-271页(2013年).MSC公司:03G15年 PDF格式BibTeX公司 XML格式引用 \textit{R.Hirsch}和\textit{S.MikuláS},J.Appl。日志。11,第3号,266--271(2013;Zbl 1284.03275) 全文: 内政部