彼得·吉普森；塔德乌什·利塔克 对聚束暗示和分离逻辑的代数一瞥。 （英语） Zbl 07823891号 加拉托斯（Galatos）、尼古拉斯（Nikolaos）（ed.）等人，小野弘之（Hiroakira Ono），《子结构逻辑》（substructural logics）。查姆：斯普林格。Outst公司。控制日志。23, 185-242 (2022).MSC公司：03A05号 03Bxx号 PDF格式BibTeX公司 XML格式引用 \textit{P.Jipsen}和\textit{T.Litak}，Outst。控制日志。23185-242（2022；Zbl 07823891） 全文： 内政部 arXiv公司
安娜贝拉·麦克维尔；摩根，卡罗尔；塔希里·拉贝哈加 抽象隐马尔可夫模型：定量信息流的一元描述。 （英语） Zbl 1423.68107号 日志。方法计算。科学。 15，第1号，第36号论文，50页（2019年）.MSC公司：68号30 60J20型 68页30 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.McIver}等人，日志。方法计算。科学。15，第1号，第36号论文，50页（2019年；Zbl 1423.68107） 全文： 内政部 arXiv公司
西蒙·多尔蒂；大卫·皮姆 分离逻辑的石头型对偶。 （英语） 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 1483.68086号 Bowen，Jonathan P.（编辑）等人，《统一编程理论》。2016年6月4日至5日在冰岛雷克雅未克举行的第六届UTP国际研讨会。修改选定的论文。查姆：斯普林格。莱克特。注释计算。科学。10134, 1-25 (2017).MSC公司：68号30 68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Möller}等人，Lect。注释计算。科学。10134，1-25（2017；Zbl 1483.68086） 全文： 内政部 链接