佩塔·武克米罗维奇;亚历山大·本特坎普;贾斯敏·布兰切特;西蒙·克鲁内斯;Nummelin,维萨卡;索菲·托雷特 使高阶叠加起作用。 (英语) Zbl 1512.68432号 J.汽车。推理 66,第4期,541-564(2022年).MSC公司:68伏15 03B16号 PDF格式BibTeX公司 XML格式引用 \textit{P.Vukmirović}等人,J.Autom。推理66,No.4,541--564(2022;Zbl 1512.68432) 全文: 内政部
佩塔·武克米罗维奇;亚历山大·本特坎普;贾斯敏·布兰切特;西蒙·克鲁内斯;Nummelin,维萨卡;索菲·托雷特 使高阶叠加起作用。 (英语) Zbl 1512.68431号 AndréPlatzer等人,《自动扣除——CADE 28》。2021年7月12日至15日,第28届自动扣款国际会议,虚拟活动。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12699, 415-432 (2021).MSC公司:68伏15 03B16号 PDF格式BibTeX公司 XML格式引用 \textit{P.Vukmirović}等人,Lect。注释计算。科学。12699115-432(2021年;兹比尔1512.68431) 全文: 内政部
安德鲁·雷诺兹;贾斯敏·克里斯蒂安·布兰切特;西蒙·克鲁内斯;塞萨尔·蒂内利 SMT中递归函数的模型查找。 (英语) Zbl 1475.68448号 Olivetti,Nicola(编辑)等人,《自动推理》。2016年6月27日至7月2日在葡萄牙科因布拉举行的2016年第八届国际联合会议。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9706, 133-151 (2016).MSC公司:68伏15 03B35型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Reynolds}等人,Lect。注释计算。科学。9706133--151(2016;Zbl 1475.68448) 全文: 内政部 哈尔