乌里·法伦贝格;克里斯蒂安·约翰森;乔治·斯特鲁斯;Krzysztof,Zimiañski Catoid和模态卷积代数。 (英语) 兹伯利07657582 代数大学。 84,第2期,第10号论文,40页(2023年).MSC公司:03B45号 07年6月 20M75型 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人,代数大学。84,第2号,第10号文件,第40页(2023;Zbl 07657582) 全文: 内政部
西蒙·多尔蒂;萨迪·达尔瓦迪;Dongol,布里耶什;海克·卫尔海姆 统一操作弱内存验证:公理方法。 (英语) Zbl 1508.68216号 ACM事务处理。计算。日志。 23,第4条,第27条,第39页(2022年).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Doherty}等人,《美国医学杂志》。计算。日志。23,第4号,第27条,第39页(2022年;Zbl 1508.68216) 全文: 内政部
卡勒姆·班尼斯特;彼得·霍夫纳;乔治·斯特鲁斯 分离逻辑中的效应代数、Girard量子数和互补。 (英语) Zbl 07670510号 Fahrenberg,Uli(编辑)等人,《计算机科学中的关系和代数方法》。第19届国际会议,RAMiCS 2021,法国马赛,2021年11月2-5日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13027, 37-53 (2021).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{C.Bannister}等人,Lect。注释计算。科学。13027、37--53(2021;Zbl 07670510) 全文: 内政部
詹姆斯·克兰奇;西蒙·多尔蒂;乔治·斯特鲁斯 卷积和并发。 (英语) Zbl 1490.68139号 数学。结构。计算。科学。 31,第8期,918-949(2021).MSC公司:68问题85 03G25 07年6月 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Cranch}等人,数学。结构。计算。科学。31,第8号,918--949(2021;Zbl 1490.68139) 全文: 内政部 arXiv公司
Dongol,布里耶什;伊恩·海耶斯。;乔治·斯特鲁斯 卷积作为一个统一的概念:在分离逻辑、区间计算和并发中的应用。 (英语) Zbl 1367.68210号 ACM事务处理。计算。日志。 17,第3号,第15条,第25页(2016年).MSC公司:68问题85 03B70号 07年6月 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Dongol}等人,ACM Trans。计算。日志。17,第3号,第15条,第25页(2016;Zbl 1367.68210) 全文: 内政部
Dongol,布里耶什;维克多·戈麦斯。;乔治·斯特鲁斯 一种用于分离逻辑的程序构造和验证工具。 (英语) Zbl 1432.68071号 Hinze,Ralf(编辑)等人,《程序构造的数学》。2015年6月29日至7月1日,第12届国际会议,MPC 2015,德国科尼格斯温特。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9129, 137-158 (2015).MSC公司:68号30 03B70号 60年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{B.Dongol}等人,Lect。注释计算。科学。9129,137--158(2015;Zbl 1432.68071) 全文: 内政部 arXiv公司 链接