×

找到14份文件(结果1-14)

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

Konev,Boris(编辑)等人,《组合系统的前沿》。第13届国际研讨会,FroCoS 2021,英国伯明翰,2021年9月8日至10日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12941, 232-249 (2021).
MSC公司:68泰克
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

代数数据类型理论的礼貌。 (英语) Zbl 07614516号

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

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

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

将数据结构与桥接理论相结合的重写方法。 (英语) Zbl 1471.68107号

Lutz,Carsten(编辑)等人,《组合系统的前沿》。第十届国际研讨会,FroCoS 2015,Wrocław,波兰,2015年9月21日至24日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9322, 275-290 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

一种礼貌的非分离组合方法:重温具有桥接功能的理论。 (英语) Zbl 1465.68303号

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

通过SMT求解的模态可满足性。 (英语) 兹比尔1453.03015

De Nicola,Rocco(编辑)等人,《软件、服务和系统》。马丁·维尔辛(Martin Wirsing)在2015年从编程和软件工程主席退休之际发表的论文,德国慕尼黑。论文。查姆:施普林格。莱克特。注释计算。科学。8950,30-45(2015年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

结合理论:阿克曼和守卫碎片。 (英语) Zbl 1348.03027号

Tinelli,Cesare(编辑)等人,《组合系统的前沿》。2011年10月5日至7日,第八届国际研讨会,FroCoS 2011,德国萨尔布吕肯。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24363-9/pbk)。计算机科学课堂讲稿6989。人工智能课堂讲稿,40-54(2011)。
MSC公司:03B62号 03B25号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

利用SMT问题中的对称性。 (英语) Zbl 1341.68187号

Björner,Nikolaj(编辑)等人,《自动扣除——CADE-23》。第23届自动扣款国际会议,2011年7月31日至8月5日,波兰弗罗茨瓦夫。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-22437-9/pbk;978-3-442-22438-6/电子书)。计算机科学课程讲稿6803。人工智能课堂讲稿,222-236(2011)。
MSC公司:第68页第15页 03B35型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过(模型-)等式传播组合决策过程。 (英语) 兹比尔1347.68309

Patricia D.L.Machado(编辑),第十一届巴西正式方法研讨会论文集(SBMF 2008)2008年8月26日至29日,巴西萨尔瓦多。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记240,113-128(2009)。
MSC公司:第68页第15页 60年第68季度 68T20型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一阶逻辑可判定片段的理论组合。 (英语) Zbl 1193.03020号

Ghilardi,Silvio(编辑)等人,《组合系统的前沿》。第七届国际研讨会,FroCoS 2009,意大利特伦托,2009年9月16-18日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-04221-8/pbk)。计算机科学课堂讲稿5749。人工智能课堂讲稿,263-278(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段