桑德拉·戴卢斯;简·克里斯蒂安森;蒂根,芬兰人 使用非严格非确定性实现概率编程库。 (英语) Zbl 1434.68062号 理论与实践。日志。程序。 第147-175号第20页(2020年).MSC公司:68甲15 68N17号 68甲18 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{S.Dylus}等人,《理论与实践》。日志。程序。20,第1号,147--175(2020;Zbl 1434.68062) 全文: 内政部 arXiv公司
弗朗索瓦·布里 赞扬不可靠:对元编程形式化的贡献。 (英语) Zbl 1434.68102号 理论与实践。日志。程序。 20,第1期,99-146(2020年).MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{F.Bry},理论与实践。日志。程序。20,第1号,99--146(2020;Zbl 1434.68102) 全文: 内政部 arXiv公司
奥斯卡·马汀;阿尔贝托·维尔德乔;马丁·奥列特,纳西索 重写逻辑中的组合规范。 (英语) Zbl 1434.68301号 理论与实践。日志。程序。 20,第1期,44-98(2020年).MSC公司:60年第68季度 03B70号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{奥斯·马丁}等人,《理论与实践》。日志。程序。20,第1号,44--98(2020;Zbl 1434.68301) 全文: 内政部 arXiv公司
卢西亚诺卡罗普莱斯;埃斯特·赞帕诺 P2P演绎数据库的逻辑框架。 (英语) Zbl 1434.68140号 理论与实践。日志。程序。 20、1号、1-43(2020年).MSC公司:第68页,共15页 68米14 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{L.Caroprese}和\textit{E.Zumpano},理论与实践。日志。程序。20,编号1,1-43(2020;兹bl 1434.68140) 全文: 内政部 arXiv公司