×

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

字符串上子句的等式定理证明。 (英语) Zbl 07810645号

Nantes-Sobrinho,Daniele(编辑)等人,第17届逻辑和语义框架应用国际研讨会论文集,LSFA,巴西贝洛奥里藏特,2022年9月23日至24日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)37649-66(2023年)。
MSC公司:03B70号 68问题55
PDF格式BibTeX公司 XML格式引用

单词等式与规则约束协同作用。 (英语) Zbl 07728854号

Chechik,Marsha(编辑)等人,《形式方法》。第25届国际研讨会,FM 2023,德国吕贝克,2023年3月6日至10日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。14000, 403-423 (2023).
PDF格式BibTeX公司 XML格式引用

对聚束暗示和分离逻辑的代数一瞥。 (英语) Zbl 07823891号

加拉托斯(Galatos)、尼古拉斯(Nikolaos)(ed.)等人,小野弘之(Hiroakira Ono),《子结构逻辑》(substructural logics)。查姆:施普林格。Outst公司。控制日志。23, 185-242 (2022).
MSC公司:03A05号 03Bxx号
PDF格式BibTeX公司 XML格式引用

SMT解算器的目标配置。 (英语) Zbl 07691304号

Buzzard,Kevin(编辑)等人,《智能计算机数学》。2022年9月19日至23日,第15届国际会议,CICM 2022,格鲁吉亚第比利斯。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13467, 256-271 (2022).
MSC公司:68伏xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在工业级SMT解决方案中进行灵活的验证生产。 (英语) Zbl 07628179号

Blanchette,Jasmin(编辑)等人,《自动推理》。第十一届国际联合会议,2022年8月8日至10日,以色列海法,IJCAR 2022。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13385, 15-35 (2022).
MSC公司:68伏15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

主动学习带有关于域侧面信息的顺序传感器。 (英语) Zbl 07498715号

Moreira,Nelma(编辑)等人,《语言理论的发展》。第25届国际会议,DLT 2021,葡萄牙波尔图,2021年8月16-20日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12811, 54-65 (2021).
PDF格式BibTeX公司 XML格式引用

CoqQFBV:一个经过可扩展认证的SMT无量词位向量求解器。 (英语) Zbl 1493.68387号

Silva,Alexandra(编辑)等人,《计算机辅助验证》。第33届国际会议,CAV 2021,虚拟活动,2021年7月20日至23日。诉讼程序。第二部分。查姆:施普林格。莱克特。注释计算。科学。12760, 149-171 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

递归函数合成的反例引导部分定界。 (英语) Zbl 1493.68107号

Silva,Alexandra(编辑)等人,《计算机辅助验证》。第33届国际会议,CAV 2021,虚拟活动,2021年7月20日至23日。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12759, 832-855 (2021).
MSC公司:68号30 68甲18
PDF格式BibTeX公司 XML格式引用
全文: 内政部

带有指针的程序演绎合成:技术、挑战、机会(特邀论文)。 (英语) Zbl 1493.68053号

Silva,Alexandra(编辑)等人,《计算机辅助验证》。第33届国际会议,CAV 2021,虚拟活动,2021年7月20日至23日。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12759, 110-134 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

可编程程序合成。 (英语) Zbl 1493.68052号

Silva,Alexandra(编辑)等人,《计算机辅助验证》。第33届国际会议,CAV 2021,虚拟活动,2021年7月20日至23日。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12759, 84-109 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

MedleySolver:在线SMT算法选择。 (英语) 兹伯利07495591

Li,Chu-Min(编辑)等,《满意度测试的理论和应用——SAT 2021》。第24届国际会议,西班牙巴塞罗那,2021年7月5日至9日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12831453-470(2021年)。
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格式引用
全文: 内政部

语法引导的量词实例化。 (英语) Zbl 1474.68456号

Groote,Jan Friso(编辑)等人,《系统构建和分析的工具和算法》。第27届国际会议,TACAS 2021,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第二部分。查姆:施普林格。莱克特。注释计算。科学。12652, 145-163 (2021).
MSC公司:68V20型 68T20型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

强大的分离逻辑。 (英语) Zbl 1473.03015号

Yoshida,Nobuko(编辑),《编程语言和系统》。2021年3月27日至4月1日,作为欧洲软件理论与实践联合会议(ETAPS 2021)的一部分,在卢森堡卢森堡市举行了第30届欧洲编程研讨会(ESOP 2021)。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12648, 664-692 (2021).
MSC公司:03B70号 03B25号
PDF格式BibTeX公司 XML格式引用

通过枚举语法指导的合成实现外推的可扩展算法。 (英语) Zbl 07614511号

Peltier,Nicolas(编辑)等人,《自动推理》。第十届国际联合会议,2020年7月1日至4日,法国巴黎,IJCAR 2020。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12166, 141-160 (2020).
MSC公司:68伏15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一种具有框架的一阶逻辑。 (英语) Zbl 1508.68072号

Müller,Peter(编辑),《编程语言和系统》。2020年4月25日至30日在爱尔兰都柏林举行的第29届欧洲编程研讨会(ESOP 2020),是欧洲软件理论与实践联合会议(ETAPS 2020)的一部分。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12075, 515-543 (2020).
PDF格式BibTeX公司 XML格式引用

关于字符串约束的可分性问题。 (英语) Zbl 07559472号

Konnov,Igor(编辑)等人,第31届并发理论国际会议。CONCUR 2020,2020年9月1日至4日,奥地利维也纳,虚拟会议。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。171,第16条,第19页(2020年)。
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用

树上的辅助逻辑:关于以可达性和子模型推理为特征的逻辑的高耸性。 (英语) Zbl 1506.03076号

Goubault-Larrecq,Jean(编辑)等人,《软件科学和计算结构基础》。第23届国际会议,FOSSACS 2020,作为欧洲软件理论和实践联席会议的一部分,ETAPS 2020,2020年4月25日至30日,爱尔兰都柏林。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12077, 462-481 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

SMT求解器中的位宽度相关证明。 (英语) Zbl 07178987号

Fontaine,Pascal(编辑),自动扣除-CADE 27。第27届自动扣减国际会议,巴西纳塔尔,2019年8月27日至30日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11716, 366-384 (2019).
MSC公司:03B35型 68伏15
PDF格式BibTeX公司 XML格式引用

将SMT求解器扩展到高阶逻辑。 (英语) 兹伯利07178968

Fontaine,Pascal(编辑),自动扣除-CADE 27。第27届自动扣减国际会议,巴西纳塔尔,2019年8月27日至30日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11716, 35-54 (2019).
MSC公司:03B35型 68伏15
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

扩展命题分离逻辑以获得鲁棒性。 (英语) Zbl 1528.03151号

Ganguly,Sumit(编辑)等人,第38届IARCS软件技术和理论计算机科学基础年会,2018年12月11-13日,印度艾哈迈达巴德,FSTTCS 2018。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。122,第42条,第23页(2018年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于时间逻辑和分离逻辑。 (英语) 兹比尔1487.68080

Alechina,Natasha(编辑)等人,第25届时间表征与推理国际研讨会。《时代》2018,波兰华沙,2018年10月15日至17日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。120,第1条,第4页(2018年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有自由变量的同余闭包。 (英语) Zbl 1452.68113号

Legay,Axel(编辑)等人,《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议(TACAS 2017),是欧洲软件理论与实践联合会议(ETAPS 2017)的一部分。诉讼程序。第二部分。柏林:斯普林格。莱克特。注释计算。科学。102062114-230(2017年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

通过分治来缩放枚举程序合成。 (英语) Zbl 1452.68043号

Legay,Axel(编辑)等人,《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议(TACAS 2017),是欧洲软件理论与实践联合会议(ETAPS 2017)的一部分。诉讼程序。第一部分柏林:施普林格。莱克特。注释计算。科学。10205, 319-336 (2017).
MSC公司:68号30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

反例引导的模型合成。 (英语) Zbl 1452.68122号

Legay,Axel(编辑)等人,《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议(TACAS 2017),是欧洲软件理论与实践联合会议(ETAPS 2017)的一部分。诉讼程序。第一部分柏林:施普林格。莱克特。注释计算。科学。10205, 264-280 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用于检查归纳不变量的有界量词实例化。 (英语) Zbl 1452.68119号

Legay,Axel(编辑)等人,《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议(TACAS 2017),是欧洲软件理论与实践联合会议(ETAPS 2017)的一部分。诉讼程序。第一部分柏林:施普林格。莱克特。注释计算。科学。10205, 76-95 (2017).
PDF格式BibTeX公司 XML格式引用

带有归纳定义的分离逻辑的可牵引性:超越列表。 (英语) Zbl 1442.03013号

Meyer,Roland(编辑)等人,第28届并发理论国际会议。2017年CONCUR,德国柏林,2017年9月5-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85,第37条,第17页(2017年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

分离逻辑的Bernays Schönfinkel Ramsey片段中的推理。 (英语) Zbl 1484.68104号

Bouajjani,Ahmed(编辑)等人,《验证、模型检查和抽象解释》。2017年1月15日至17日在法国巴黎举行的2017年VMCAI第18届国际会议。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10145, 462-482 (2017).
PDF格式BibTeX公司 XML格式引用

一阶抽象分离逻辑的完备性。 (英语) Zbl 1485.03077号

Igarashi,Atsushi(编辑),《编程语言和系统》。2016年11月21日至23日,第14届亚洲研讨会,2016年APLAS,越南河内。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10017, 444-463 (2016).
PDF格式BibTeX公司 XML格式引用

具有数据约束的线性组合分离逻辑的完整决策过程。 (英语) Zbl 1475.68185号

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

具有并行组合的命题动态逻辑的复杂性最优决策过程。 (英语) Zbl 1475.68075号

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

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

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

单计数器系统中的最短路径。 (英语) Zbl 1475.68147号

Jacobs,Bart(编辑)等人,《软件科学和计算结构基础》。2016年4月2日至8日在荷兰埃因霍温举行的第19届国际会议FOSSACS 2016,作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。9634, 462-478 (2016).
PDF格式BibTeX公司 XML格式引用

容错聚合签名。 (英语) 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格式引用
全文: 内政部

关于Fujisaki-Okamoto构造的密钥相关消息安全性。 (英语) Zbl 1388.94064号

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,99-129(2016)。
MSC公司:94A60型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有分离并行组合的命题动态逻辑的Tableaux方法。 (英语) Zbl 1465.03050号

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

用所有连接词对分离逻辑中的断言进行自动定理证明。 (英语) Zbl 1465.03053号

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

具有树约束的\(\mathsf{ECTL}^*\)的可满足性。 (英语) Zbl 1435.03039号

Beklemishev,Lev D.(编辑)等人,《计算机科学——理论与应用》。2015年7月13日至17日,第十届俄罗斯国际计算机科学研讨会,CSR 2015,俄罗斯Listvyanka。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9139, 94-108 (2015).
MSC公司:03B44号 03B25号
PDF格式BibTeX公司 XML格式引用

具有分离并行组合的PDL的指数模型性质。 (英语) Zbl 1465.68045号

Italiano,F.(ed.)等人,《2015年计算机科学数学基础》。第40届国际研讨会,2015年MFCS,意大利米兰,2015年8月24-28日。诉讼程序。第一部分柏林:施普林格。莱克特。注释计算。科学。9234, 129-140 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份

全部的 前3名

软件