金,赵;张博文;曹天岳;曹永志;王汉平 通过分离逻辑对基于块的云存储系统进行推理。 (英语) 兹伯利07604601 西奥。计算。科学。 936, 43-76 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{Z.Jin}等人,Theor。计算。科学。936、43-76(2022;Zbl 07604601) 全文: 内政部
Darion Haase先生;埃里希·格拉德尔;理查德·威尔克 将逻辑和逻辑与团队语义分离。 (英语) Zbl 07587325号 Ann.纯粹应用。逻辑 173,第10号,文章ID 103063,13 p.(2022).MSC公司:03B70号 03B60号 03C80号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Haase}等人,Ann.Pure Appl。逻辑173,第10号,文章ID 103063,13页(2022;Zbl 07587325) 全文: 内政部
斯特凡·德姆里 关于时间逻辑和分离逻辑。 (英语) Zbl 1487.68080号 Alechina,Natasha(编辑)等人,第25届时间表征和推理国际研讨会。《时代》2018,波兰华沙,2018年10月15日至17日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际会议记录。通知。120,第1条,第4页(2018年)。MSC公司:68号30 03B44号 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri},LIPIcs——莱布尼茨国际程序。通知。120,第1条,第4页(2018;Zbl 1487.68080) 全文: 内政部
陈、陶璐;宋,傅;吴志林 带有归纳定义的分离逻辑的可牵引性:超越列表。 (英语) Zbl 1442.03013号 Meyer,Roland(编辑)等人,第28届并发理论国际会议。2017年CONCUR,德国柏林,2017年9月5-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际会议记录。通知。85,第37条,第17页(2017)。MSC公司:03B70号 68第05页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Chen}等人,LIPIcs——莱布尼茨国际程序。通知。85,第37条,第17页(2017;Zbl 1442.03013) 全文: 内政部
斯特凡·德姆里;迪迪埃·加米歇;多米尼克·拉切·温德林(Dominique Larchey-Wendling);丹尼尔·梅里 一个量化变量的分离逻辑。 (英语) Zbl 1435.68117号 理论计算。系统。 61,第2号,371-461(2017).MSC公司:65年第68季度 03B70号 2017年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}等人,理论计算。系统。61,第2号,371--461(2017;Zbl 1435.68117) 全文: 内政部 哈尔
Hóu,Zhé;Tiu,Alwen先生 一阶抽象分离逻辑的完备性。 (英语) Zbl 1485.03077号 Igarashi,Atsushi(编辑),《编程语言和系统》。2016年11月21日至23日,第14届亚洲研讨会,2016年APLAS,越南河内。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10017, 444-463 (2016).MSC公司:03B70号 03B35型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{Z.Hóu}和\textit{A.Tiu},Lect。注释计算。科学。10017、444--463(2016;Zbl 1485.03077) 全文: 内政部 arXiv公司
顾新才;陈、陶璐;吴志林 具有数据约束的线性组合分离逻辑的完整决策过程。 (英语) Zbl 1475.68185号 Olivetti,Nicola(编辑)等人,《自动推理》。2016年6月27日至7月2日在葡萄牙科因布拉举行的2016年第八届国际联合会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9706, 532-549 (2016).MSC公司:60年第68季度 03B70号 68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{X.Gu}等人,Lect。注释计算。科学。9706532--549(2016;Zbl 1475.68185) 全文: 内政部
斯特凡·德姆里;Deters,摩根 二元分离逻辑及其内圈。 (英语) Zbl 1354.03036号 ACM变速器。计算。日志。 16,第2号,第15条,36页(2015年).MSC公司:03B70号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{M.Deters},ACM翻译。计算。日志。16,第2号,第15条,36页(2015;Zbl 1354.03036) 全文: 内政部 哈尔