×

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

最新的 引文 关联
伊坦·辛格；沙迦·伊扎基

以演绎综合为动力的理论探索。 （英语） Zbl 1493.68388号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12760, 125-148 (2021).
MSC公司：68伏15 68号30
PDF格式BibTeX公司 XML格式引用
\textit{E.Singher}和\textit{S.Itzhaky}，莱克特。注释计算。科学。12760、125-148（2021年；Zbl 1493.68388）
全文： 内政部 arXiv公司
帕斯卡·方丹；汉斯·约尔·舒尔

SMT中通过统一简化量词。 （英语） Zbl 07497925号

Konev，Boris（编辑）等人，《组合系统的前沿》。第十三届国际研讨会，FroCoS 2021，英国伯明翰，2021年9月8-10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12941, 232-249 (2021).
MSC公司：68泰克
PDF格式BibTeX公司 XML格式引用
\textit{P.Fontaine}和\textit{H.-J.Schurr}，莱克特。注释计算。科学。12941、232--249（2021；Zbl 07497925）
全文： 内政部 链接
汉斯·约尔·舒尔；马蒂亚斯·弗勒里；马丁·德沙奈斯

证明助手中细粒度证明的可靠重构。 （英语） Zbl 07437094号

AndréPlatzer等人，《自动扣除——CADE 28》。2021年7月12日至15日，第28届自动扣款国际会议，虚拟活动。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12699, 450-467 (2021).
MSC公司：03B35型 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{H.-J.Schurr}等人，Lect。注释计算。科学。12699、450-467（2021；Zbl 07437094）
全文： 内政部
Jochen Hoenicke公司；坦尼娅·辛德勒

使用E匹配对量化公式的冲突和单位实例进行增量搜索。 （英语） Zbl 1472.68184号

Henglein，Fritz（编辑）等人，《验证、模型检验和抽象解释》。第22届国际会议，VMCAI 2021，丹麦哥本哈根，2021年1月17日至19日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12597, 534-555 (2021).
MSC公司：68T20型
PDF格式BibTeX公司 XML格式引用
\textit{J.Hoenicke}和\textit{T.Schindler}，莱克特。注释计算。科学。12597，534--555（2021；Zbl 1472.68184）
全文： 内政部
哈尼尔·巴博萨；安德鲁·雷诺兹；丹尼尔·欧拉维；塞萨尔·蒂内利；克拉克·巴雷特

将SMT求解器扩展到高阶逻辑。 （英语） Zbl 07178968号

Fontaine，Pascal（编辑），自动扣除-CADE 27。第27届自动扣减国际会议，巴西纳塔尔，2019年8月27日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11716, 35-54 (2019).
MSC公司：03B35型 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{H.Barbosa}等人，Lect。注释计算。科学。11716，35-54（2019；Zbl 07178968）
全文： 内政部 哈尔
甘纳·哈东；比约恩凯德尔；亚历山大·科赫；杰西卡·科赫；安迪·鲁普

容错聚合签名。 （英语） Zbl 1388.94091号

Cheng，Chen-Mou（编辑）等，公开密钥加密——PKC 2016。2016年3月6日至9日，第19届IACR公开密钥加密实践与理论国际会议，台湾台北。诉讼程序。第一部分柏林：施普林格出版社（ISBN 978-3-662-49383-0/pbk；978-3-562-49384-7/ebook）。计算机科学讲座笔记9614，331-356（2016）。
MSC公司：94A62型
PDF格式BibTeX公司 XML格式引用
\textit{G.Hartung}等人，Lect。注释计算。科学。9614、331--356（2016年；Zbl 1388.94091）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

出版年份

主字段

全部的 前3名

软件