×

找到21个文档(结果1–21)

排序程序属性的证明:Horn子句验证中的一个案例研究。 (英文) Zbl 1483.68189号

De Angelis,Emanuele(ed.)等人,《第六次Horn子句验证与合成研讨会论文集》,HCVS 2019,以及第三次程序等效与关系推理研讨会论文集,2019年4月6日至7日,捷克共和国布拉格,PERR 2019。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)29648-75(2019年)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

微分动态逻辑的统一代换演算。 (英文) Zbl 1465.03056号

Felty,Amy P.(编辑)等人,《自动扣除——CADE-25》。2015年8月1日至7日在德国柏林举行的第25届自动扣减国际会议。诉讼程序。查姆:斯普林格。勒克特。注释计算。科学。9195, 467-481 (2015).
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份