阿戈斯蒂诺·多维尔;安德烈亚·福米萨诺;戈帕尔·古普塔;曼努埃尔·赫梅内吉尔多。;恩里科·蓬泰利;里卡多·罗查 并行逻辑编程:续集。 (英语) Zbl 07776352号 理论与实践。日志。程序。 22,第6期,905-973(2022).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{A.Dovier}等人,《理论与实践》。日志。程序。22,第6号,905--973(2022;Zbl 07776352) 全文: 内政部 arXiv公司
米盖尔·阿雷亚斯;里卡多·罗查 隐式和显式并发表计算的表空间设计。 (英语) Zbl 1452.68035号 理论与实践。日志。程序。 18,编号5-6,950-992(2018).MSC公司:68N17号 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{M.Areias}和\textit{R.Rocha},理论与实践。日志。程序。18、编号5--6950-992(2018;Zbl 1452.68035) 全文: 内政部 arXiv公司