×

找到14个文档(结果1-14)

使高阶叠加起作用。 (英语) Zbl 1512.68431号

AndréPlatzer等人,《自动扣除——CADE 28》。2021年7月12日至15日,第28届自动扣款国际会议,虚拟活动。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12699, 415-432 (2021).
MSC公司:68伏15 03B16号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

统一的拆分框架。 (英语) Zbl 07437088号

AndréPlatzer等人,《自动扣除——CADE 28》。2021年7月12日至15日,第28届自动扣款国际会议,虚拟活动。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12699, 344-360 (2021).
MSC公司:03B35型 68伏15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

无lambda的高阶递归路径顺序。 (英语) Zbl 1486.68085号

Esparza,Javier(编辑)等人,《软件科学和计算结构基础》。2017年4月22日至29日在瑞典乌普萨拉举行的第20届国际会议FOSSACS 2017,作为欧洲软件理论与实践联合会议ETAPS 2017的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。10203, 461-479 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

SMT中递归函数的模型查找。 (英语) Zbl 1475.68448号

Olivetti,Nicola(编辑)等人,《自动推理》。2016年6月27日至7月2日在葡萄牙科因布拉举行的2016年第八届国际联合会议。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9706, 133-151 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

一个经过验证的SAT求解器框架,具有学习、遗忘、重启和增量功能。 (英语) Zbl 1475.68432号

Olivetti,Nicola(编辑)等人,《自动推理》。2016年6月27日至7月2日在葡萄牙科因布拉举行的2016年第八届国际联合会议。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9706, 25-44 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

SMT求解器中(co)数据类型的决策过程。 (英语) Zbl 1465.68297号

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

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段