×

找到8个文档（结果1-8）

最新的 引文 关联
斯特凡·德姆里

关于时间逻辑和分离逻辑。 （英语） 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）
全文： 内政部
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）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

出版年份

主字段

全部的 前3名

软件