亚历山德罗·阿塔尔;让·克里斯托夫·荣格;安德烈亚·马祖洛;安娜·奥扎基;弗兰克·沃尔特 《没有贝丝和克雷格的生活:描述和模态逻辑中的定义和解释》,包含名词和角色。 (英语) Zbl 07760995号 ACM事务处理。计算。日志。 24,第4号,第34号论文,51页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Artale}等人,ACM翻译。计算。日志。24,第4号,第34号论文,51页(2023;Zbl 07760995) 全文: 内政部 arXiv公司 OA许可证
克拉克·巴雷特;塞萨尔·蒂内利 可满足性模理论。 (英语) Zbl 1392.68379号 Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。305-343 (2018).MSC公司:第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{C.Barrett}和\textit{C.Tinelli},in:模型检查手册。查姆:施普林格。305-343(2018;Zbl 1392.68379) 全文: 内政部
Nishant Totla公司;托马斯·怀斯 完成基于实例化的插值。 (英语) Zbl 1356.68203号 J.汽车。推理 57,第1号,37-65(2016).MSC公司:第68页第15页 03C40 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Totla}和\textit{T.Wies},J.Autom。推理57,No.1,37--65(2016;Zbl 1356.68203) 全文: 内政部 链接
玛丽亚·保拉(Maria Paola Bonacina);穆阿·约翰逊 自动演绎中地面证据的插值系统:一项调查。 (英语) Zbl 1356.68179号 J.汽车。推理 54,第4期,353-390(2015).MSC公司:第68页第15页 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Bonacina}和\textit{M.Johansson},J.Autom。推理54,No.4,353--390(2015;Zbl 1356.68179) 全文: 内政部
玛丽亚·保拉(Maria Paola Bonacina);穆阿·约翰逊 自动定理证明中的插值。 (英语) Zbl 1315.03018号 J.汽车。推理 54,第1期,69-97(2015).MSC公司:03B35型 第68页第15页 03C40 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Bonacina}和\textit{M.Johansson},J.Autom。推理54,No.1,69--97(2015;Zbl 1315.03018) 全文: 内政部
西蒙·富尔维奥·罗里尼;罗伯托·布鲁托梅索;娜塔莎·莎莉吉娜;阿里亚克西·齐托维奇 压缩和插值的防分辨率转换。 (英语) Zbl 1317.68123号 形式方法系统。设计。 45,第1期,1-41页(2014年).MSC公司:60年第68季度 03C40 20层03 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{S.F.Rollini}等人,《形式方法系统》。设计。45,编号1,1--41(2014;兹bl 1317.68123) 全文: 内政部 arXiv公司
罗伯托·布鲁托梅索;西尔维奥·吉拉尔迪;西尔维奥·兰伊斯 等式插值理论组合中的无量词插值。 (英语) Zbl 1287.03068号 ACM事务处理。计算。日志。 第15号第1条第5条第34页(2014年).MSC公司:03B70号 03C40 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruttomesso}等人,ACM Trans。计算。日志。15,第1号,第5条,第34页(2014年;Zbl 1287.03068) 全文: 内政部
阿伦·斯塔姆;Oe,Duckki(杜基·欧);安德鲁·雷诺兹;莉安娜·哈达伦;塞萨尔·蒂内利 使用逻辑框架进行SMT验证。 (英语) Zbl 1284.68521号 形式方法系统。设计。 42,第1期,91-118(2013).MSC公司:第68页第15页 68T20型 03B35型 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Stump}等人,《形式方法系统》。设计。42,第1号,91--118(2013;Zbl 1284.68521) 全文: 内政部
玛丽亚·保拉(Maria Paola Bonacina);穆阿·约翰逊 关于决策程序中的插值。 (英语) Zbl 1331.68198号 Brünnler,Kai(编辑)等人,使用分析表和相关方法进行自动推理。2011年7月4日至8日,瑞士伯尔尼,第20届国际会议,TABLEAUX 2011。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-22118-7/pbk)。计算机科学课堂讲稿6793。人工智能课堂讲稿,1-16(2011)。MSC公司:第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Bonacina}和\textit{M.Johansson},莱克特。注释计算。科学。6793,1-16(2011;Zbl 1331.68198) 全文: 内政部
阿尔贝托·格里乔;Le,Thi Thieu Hoa先生;罗伯托·塞巴斯蒂亚尼 可满足模线性整数算法中的高效插值生成。 (英语) Zbl 1315.68179号 Abdulla,Parosh Aziz(编辑)等人,《系统构建和分析的工具和算法》。2011年3月26日至4月3日在德国萨尔布吕肯举行的第17届国际会议(TACAS 2011),是欧洲软件理论与实践联合会议(ETAPS 2011)的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-19834-2/pbk)。计算机科学讲座笔记6605143-157(2011)。MSC公司:60年第68季度 03B25号 03C40 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{A.Griggio}等人,Lect。注释计算。科学。6605143-157(2011年;Zbl 1315.68179) 全文: 内政部 arXiv公司
安德烈·里巴尔琴科;维奥里卡Sofrone-Stokkerman 插值的约束求解。 (英语) Zbl 1213.68389号 J.塞姆。计算。 45,第11期,1212-1233(2010).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Rybalchenko}和\textit{V.Sofronie-Stokkermans},J.Symb。计算。45,第11号,1212--1233(2010;Zbl 1213.68389) 全文: 内政部