×

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

最新的 引文 关联
马杜苏丹，P。;Gennaro帕拉托;邱晓康

结合堆结构和数据的可决定逻辑。 （英语） Zbl 1284.68411号

2011年1月26日至28日，美国德克萨斯州奥斯汀，POPL'11，第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0490-0）。611-622 (2011).
MSC公司：60年第68季度 03B70号 68第05页 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Madhusudan}et al.，in：第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL’11，美国德克萨斯州奥斯汀，2011年1月26-28日。纽约州纽约市：计算机协会（ACM）。611--622（2011；Zbl 1284.68411）
全文： 内政部 链接
尼桑特·辛哈;王超

关于干扰抽象。 （英语） 兹比尔1284.68203

2011年1月26日至28日，美国德克萨斯州奥斯汀，POPL'11，第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0490-0）。423-434 (2011).
MSC公司：68号30 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{N.Sinha}和\textit{C.Wang}，摘自：第38届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，2011年1月26日至28日，美国德克萨斯州奥斯汀，POPL'11。纽约州纽约市：计算机协会（ACM）。423--434（2011年；Zbl 1284.68203）
全文： 内政部
佩德罗·夸雷斯马

几何定理证明器（TGTP）的数千个几何问题。 （英语） Zbl 1350.68243号

Schreck，Pascal（编辑）等人，《几何中的自动演绎》。2010年7月22日至24日，德国慕尼黑ADG 2010第八届国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-25069-9/pbk）。计算机科学课堂讲稿6877。人工智能课堂讲稿，169-181（2011）。
MSC公司：68吨15 51-04
PDF格式BibTeX公司 XML格式引用
\textit{P.Quaresma}，莱克特。注释计算。科学。6877，169--181（2011；Zbl 1350.68243）
全文： 内政部
Böhme，萨沙;Anthony C.J.福克斯。;托马斯·苏厄尔;Tjark韦伯

在HOL4和Isabelle/HOL中重建Z3的位向量证明。 （英语） Zbl 1350.68225号

Jouannaud，Jean-Pierre（编辑）等人，《认证程序和证明》。2011年12月7日至9日在台湾垦丁举行的CPP 2011第一届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-25378-2/pbk）。计算机科学课堂讲稿7086，183-198（2011）。
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{S.Böhme}等人，Lect。注释计算。科学。7086、183--198（2011；Zbl 1350.68225）
全文： 内政部
迈克尔·阿尔芒;德国福雷;本杰明·格雷戈里;香塔尔·凯勒;Laurent Théry;本杰明·沃纳

SAT/SMT解算器通过证明证人与Coq的模块化集成。 （英语） 兹比尔1350.68223

Jouannaud，Jean-Pierre（编辑）等人，认证程序和证明。2011年12月7日至9日在台湾垦丁举行的CPP 2011第一届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-25378-2/pbk）。计算机科学课堂讲稿7086，135-150（2011）。
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{M.Armand}等人，Lect。注释计算。科学。7086、135-150（2011年；Zbl 1350.68223）
全文： 内政部 哈尔
弗朗索瓦·博博特;安德烈·帕斯科维奇

用多种语言表达多态类型。 （英语） Zbl 1348.68215号

Tinelli，Cesare（编辑）等人，《组合系统的前沿》。2011年10月5日至7日，第八届国际研讨会，FroCoS 2011，德国萨尔布吕肯。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24363-9/pbk）。计算机科学课堂讲稿6989。人工智能课堂讲稿，87-102（2011）。
MSC公司：68吨15 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{F.Bobot}和\textit{A.Paskevich}，莱克特。注释计算。科学。6989，87-102（2011年；兹比尔1348.68215）
全文： 内政部 链接
贾斯敏·克里斯蒂安·布兰切特;卢卡斯·布尔瓦恩;托比亚斯·尼普科夫

Isabelle/HOL中的自动证明和反驳。 （英语） Zbl 1348.68214号

Tinelli，Cesare（编辑）等人，《组合系统的前沿》。2011年10月5日至7日，第八届国际研讨会，FroCoS 2011，德国萨尔布吕肯。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24363-9/pbk）。计算机科学课堂讲稿6989。人工智能课堂讲稿，12-27（2011）。
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{J.C.Blanchette}等人，Lect。注释计算。科学。6989，12-27（2011；Zbl 1348.68214）
全文： 内政部
亚历山德罗·卡里奥尼;西尔维奥·吉拉尔迪;西尔维奥·兰伊斯

模型检验模理论中的自动终止。 （英语） Zbl 1348.68124号

Delzanno，Giorgio（编辑）等人，《可达性问题》。2011年9月28日至30日在意大利热那亚举行的RP 2011第五届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24287-8/pbk）。计算机科学课堂讲稿6945110-124（2011）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Carioni}等人，Lect。注释计算。科学。6945、110-124（2011年；Zbl 1348.68124）
全文： 内政部
Stefan Kupferschmid;贝恩德·贝克尔

非线性约束条件下的克雷格插值。 （英语） Zbl 1348.68141号

Fahrenberg，Uli（编辑）等人，《时间系统的形式化建模和分析》。2011年9月21日至23日，第九届国际会议，FORMATS 2011，丹麦奥尔堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24309-7/pbk）。计算机科学课堂讲稿6919，240-255（2011）。
MSC公司：60年第68季度 03C40号 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{S.Kupferschmid}和\textit{B.Becker}，莱克特。注释计算。科学。6919240-255（2011年；Zbl 1348.68141）
全文： 内政部
巴哈雷赫巴德班;马丁·兰格

使用SMT求解器对时间自动机进行精确增量分析。 （英语） Zbl 1348.68118号

Fahrenberg，Uli（编辑）等人，《时间系统的形式化建模和分析》。2011年9月21日至23日，第九届国际会议，FORMATS 2011，丹麦奥尔堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24309-7/pbk）。计算机科学课堂讲稿6919，177-192（2011）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Badban}和\textit{M.Lange}，莱克特。注释计算。科学。6919、177--192（2011年；Zbl 1348.68118）
全文： 内政部
拉马纳·库马尔;Tjark韦伯

在HOL4中验证QBF有效性。 （英语） Zbl 1342.68290号

Van Eekelen，Marko（编辑）等，交互式定理证明。2011年8月22日至25日，荷兰卑尔根达尔，第二届国际会议，ITP 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22862-9/pbk）。计算机科学课堂讲稿6898，168-183（2011）。
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{R.Kumar}和\textit{T.Weber}，莱克特。注释计算。科学。6898、168--183（2011年；Zbl 1342.68290）
全文： 内政部
Böhme，萨沙;米查·莫斯卡尔

堆和数据结构：自动化验证程序面临的挑战。 （英语） Zbl 1341.68182号

Björner，Nikolaj（编辑）等人，《自动扣除——CADE-23》。2011年7月31日至8月5日在波兰Wrocław举行的第23届自动扣减国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22437-9/pbk；978-3-442-22438-6/电子书）。计算机科学课程讲稿6803。《人工智能课堂讲稿》，177-191年（2011年）。
MSC公司：68吨15 68第05页
PDF格式BibTeX公司 XML格式引用
\textit｛S.Böhme｝和\textit｛M.Moskal｝，Lect。注释计算。科学。6803、177--191（2011；Zbl 1341.68182）
全文： 内政部
贾斯敏·克里斯蒂安·布兰切特;Böhme，萨沙;劳伦斯·C·鲍尔森。

使用SMT解算器扩展大锤。 （英语） Zbl 1314.68271号

Björner，Nikolaj（编辑）等人，《自动扣除——CADE-23》。2011年7月31日至8月5日在波兰Wrocław举行的第23届自动扣减国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22437-9/pbk；978-3-442-22438-6/电子书）。计算机科学课程讲稿6803。人工智能课堂讲稿，116-130（2011）。
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{J.C.Blanchette}等人，Lect。注释计算。科学。6803116-130（2011年；Zbl 1314.68271）
全文： 内政部
乌尔里奇·洛普;艾丽卡·阿尔布拉汉姆

I-RiSC：一个符合SMT的实代数存在片段求解器。 （英语） Zbl 1339.68242号

Winkler，Franz（编辑），代数信息学。第四届国际会议，CAI 2011，2011年6月21-24日，奥地利林茨。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-21492-9/pbk）。计算机科学课堂讲稿6742230-246（2011）。
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{U.Loup}和\textit{E.ábrahám}，莱克特。注释计算。科学。67422230-246（2011年；兹比尔1339.68242）
全文： 内政部
克莱尔·德罗斯;Jean-Christophe Filliátre;扬尼克·莫伊

更正包含容器的代码。 （英语） Zbl 1335.68052号

Gogolla，Martin（编辑）等人，《测试与证明》。2011年6月30日至7月1日在瑞士苏黎世举行的2011年第五届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-21767-8/pbk）。计算机科学课堂讲稿6706102-118（2011）。
MSC公司：68号30 68第05页 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Dross}等人，Lect。注释计算。科学。6706102-118（2011；Zbl 1335.68052）
全文： 内政部 哈尔
Sylvain Conchon公司;伊芙琳·孔特让;穆罕默德·伊格尔内拉拉

将肖斯塔克理论中的重写和地面AC完成模块经典化。 （英语） Zbl 1315.68219号

Abdulla，Parosh Aziz（编辑）等人，《系统构建和分析的工具和算法》。2011年3月26日至4月3日在德国萨尔布吕肯举行的第17届国际会议（TACAS 2011），是欧洲软件理论与实践联合会议（ETAPS 2011）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19834-2/pbk）。计算机科学讲座笔记6605，45-59（2011）。
MSC公司：68吨15 03B25号 03B35型 03D40号
PDF格式BibTeX公司 XML格式引用
\textit{S.Conchon}等人，Lect。注释计算。科学。6605，45-59（2011；Zbl 1315.68219）
全文： 内政部 arXiv公司

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段

全部的 前3名

软件