佛朗哥·巴巴内拉;伊万·拉内斯;埃米利奥·托奥斯托 形式舞蹈语言的理论。 （英语） Zbl 07731937号 日志。方法计算。科学。 19，第3号，第9号论文，36页（2023年）.MSC公司：03B70型 68倍 PDF格式BibTeX公司 XML格式引用 \textit{F.Barbanera}等人，日志。方法计算。科学。19，第3号，第9号论文，36页（2023；Zbl 07731937） 全文： 内政部 arXiv公司 OA许可证
西尔维娅·吉勒赞;约万卡·潘托维奇;伊万·普罗基奇;阿尔切斯特·斯卡拉斯;吉田信子 异步多方会话的精确子类型。 （英语） Zbl 07672673号 ACM事务处理。计算。日志。 24，第2条，第14条，73页（2023年）.MSC公司：03B70型 68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilezan}等人，ACM Trans。计算。日志。24，第2号，第14条，73页（2023；Zbl 07672673） 全文： 内政部 arXiv公司 OA许可证
弗朗西斯科·达尼诺;保拉·吉安尼尼;马里亚纽拉州Dezani-Ciancaglini 已取消对异步会话的全局类型的限制。 （英语） Zbl 07667093号 日志。方法计算。科学。 19，第1号，第3号论文，41页（2023年）.MSC公司：03B70型 68倍 PDF格式BibTeX公司 XML格式引用 \textit{F.Dagnino}等人，日志。方法计算。科学。19，第1号，第3号论文，41页（2023；Zbl 07667093） 全文： 内政部 arXiv公司 OA许可证
阿曼，博格丹;加布里埃尔·乔巴努 会话类型的间隔概率。 （英语） Zbl 07691319号 Ciabattoni，Agata（编辑）等人，《逻辑、语言、信息和计算》。第28届国际研讨会，WoLLIC 2022，Iași，罗马尼亚，2022年9月20日至23日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13468123-140（2022）中所述。MSC公司：03B70型 PDF格式BibTeX公司 XML格式引用 \textit{B.Aman}和\textit{G.Ciobanu}，莱克特。注释计算。科学。13468、123--140（2022；Zbl 07691319） 全文： 内政部
朱克（Dmitriy N.Zhuk）。 包含三个元素上给定最小克隆的所有克隆集的基数。 （英语） Zbl 1263.08001号 代数大学。 68，第3-4、295-320号（2012）. 审核人：Albert Hoogewijs（根特） MSC公司：08A40号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{D.N.Zhuk}，代数大学。68，编号3--4，295--320（2012；Zbl 1263.08001） 全文： 内政部