×

找到19个文档（结果1-19）

最新的 引文 关联
迭戈·卡尔瓦内斯;西尔维奥·吉拉尔迪;亚历山德罗·吉亚诺拉;马可·蒙塔利;安德烈·里夫金

组合封面和Beth可定义性。 （英文） Zbl 07614513号

佩尔蒂埃、尼古拉斯（编辑）等人，《自动推理》。第十届国际联合会议，2020年7月1日至4日，法国巴黎，IJCAR 2020。诉讼程序。第一部分查姆：施普林格。勒克特。注释计算。科学。12166, 181-200 (2020).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{D.Calvanee}等人，Lect。注释计算。科学。12166，181--200（2020；Zbl 07614513）
全文： 内政部
迭戈·卡尔瓦内斯;西尔维奥·吉拉尔迪;亚历山德罗·吉亚诺拉;马可·蒙塔利;安德烈·里夫金

基于SMT的数据软件过程验证：一种模型理论方法。 （英文） Zbl 1495.68129号

数学。结构。计算。科学。 30，第3期，271-313（2020年）.
MSC公司：60年第68季度 03B70号 03C98号 第68页，共15页
PDF格式BibTeX公司 XML格式引用
\textit{D.Calvanee}等人，数学。结构。计算。科学。30，第3号，271--313（2020；Zbl 1495.68129）
全文： 内政部
迭戈·卡尔瓦内斯;西尔维奥·吉拉尔迪;亚历山德罗·吉亚诺拉;马可·蒙塔利;安德烈·里夫金

模型完整性、覆盖和叠加。 （英文） Zbl 07178974号

Fontaine，Pascal（编辑），自动扣除-CADE 27。第27届自动扣减国际会议，巴西纳塔尔，2019年8月27日至30日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。11716142-160（2019年）。
MSC公司：60年第68季度 03C10号机组
PDF格式BibTeX公司 XML格式引用
\textit{D.Calvanee}等人，Lect。注释计算。科学。11716、142-160（2019；Zbl 07178974）
全文： 内政部
弗朗西斯科·阿尔贝蒂;罗伯特·布鲁托梅索;西尔维奥·吉拉尔迪;西尔维奥·兰伊斯;娜塔莎·莎莉吉娜

带有数组的程序的惰性抽象的一种扩展，带有插值。 （英文） Zbl 1317.68107号

形式方法系统。设计。 45，第1期，63-109（2014）.
MSC公司：60年第68季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{F.Alberti}等人，《形式方法系统》。设计。45，编号1，63--109（2014；Zbl 1317.68107）
全文： 内政部 链接
罗伯特·布鲁托梅索;西尔维奥·吉拉尔迪;西尔维奥·兰伊斯

具有整数差分约束的数组的无量词插值的重写和约束求解的组合。 （英文） Zbl 1348.68123号

Tinelli，Cesare（编辑）等人，《组合系统的前沿》。2011年10月5日至7日，第八届国际研讨会，FroCoS 2011，德国萨尔布吕肯。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24363-9/pbk）。计算机科学讲义6989。人工智能课堂讲稿，103-118（2011）。
MSC公司：60年第68季度 68第05页 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Bruttomesso}等人，Lect。注释计算。科学。6989、103--118（2011年；Zbl 1348.68123）
全文： 内政部
西尔维奥·吉拉尔迪;西尔维奥·兰伊斯;托马斯·瓦尔塞奇

基于轻量级SMT的模型检查。 （英文） Zbl 1335.68138号

Miller，Alice（编辑）等人，《第八届关键系统自动验证国际研讨会论文集》（AVoCS 2008），英国格拉斯哥，2008年9月30日至10月1日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记250，第2期，85-102（2009）。
MSC公司：60年第68季度 68问题85 68吨15 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{S.Ghilardi}等人，《电子》。注释Theor。计算。科学。250，第2号，85--102（2009；Zbl 1335.68138）
全文： 内政部
西尔维奥·吉拉尔迪;恩里卡·尼科里尼;西尔维奥·兰伊斯;丹尼尔·祖切利

面向阵列系统的SMT模型检查。 （英文） Zbl 1165.68406号

阿曼多、亚历山德罗（编辑）等，《自动推理》。2008年8月12日至15日在澳大利亚悉尼举行的第四届国际联合会议。柏林：施普林格出版社（ISBN 978-3-540-71069-1/pbk）。计算机科学课堂讲稿5195。人工智能课堂讲稿，67-82（2008）。
MSC公司：60年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{S.Ghilardi}等人，Lect。注释计算。科学。5195，67-82（2008年；兹比尔1165.68406）
全文： 内政部
西尔维奥·吉拉尔迪

量词消除和标准器集成。 （英文） Zbl 1261.68100号

Dahn，Ingo（ed.）等人，FTP’2003：第四届一阶定理证明国际研讨会。研讨会会议记录（与RDP’03，改写、演绎和编程联合会议相关），西班牙巴伦西亚，2003年6月12日至14日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》86，第1期，22-34（2003）。
MSC公司：68吨15 03C10号机组
PDF格式BibTeX公司 XML格式引用
\textit{S.Ghilardi}，电子。注释Theor。计算。科学。86，编号1，22--34（2003；Zbl 1261.68100）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件