西蒙·多尔蒂;大卫·皮姆 分离逻辑的石头型对偶。 (英语) Zbl 1432.03046号 日志。方法计算。科学。 15,第1号,第27号论文,51页(2019年).MSC公司:03B70号 03B20型 03G25号 06年50月 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Docherty}和\textit{D.Pym},日志。方法计算。科学。15,第1号,第27号论文,51页(2019年;Zbl 1432.03046) 全文: arXiv公司
布里杰什·多戈尔;伊恩·海耶斯。;乔治·斯特鲁斯 卷积作为一个统一的概念:在分离逻辑、区间计算和并发中的应用。 (英语) Zbl 1367.68210号 ACM事务处理。计算。日志。 17,第3号,第15条,第25页(2016年).MSC公司:68问题85 03B70号 07年6月 68问题55 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Dongol}等人,ACM Trans。计算。日志。17,第3号,第15条,第25页(2016;Zbl 1367.68210) 全文: 内政部