×

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

最新的 引文 关联
安德烈亚斯·图克;克里斯托夫·韦登巴赫

通过近似和实例化来证明一阶逻辑定理和建立模型。 （英语） Zbl 1471.03020号

Lutz，Carsten（编辑）等人，《组合系统的前沿》。第十届国际研讨会，FroCoS 2015，Wrocław，波兰，2015年9月21日至24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9322, 85-100 (2015).
MSC公司：03B35型 03B25号
PDF格式BibTeX公司 XML格式引用
\textit{A.Teucke}和\textit{C.Weidenbach}，莱克特。注释计算。科学。9322，85-100（2015；Zbl 1471.03020）
全文： 内政部 arXiv公司 链接
布鲁诺·布兰切特

符号模型中安全协议的自动验证：验证器ProVerif。 （英语） Zbl 1448.68185号

Aldini，Alessandro（编辑）等人，《安全分析和设计基础VII》。FOSAD 2012/2013辅导讲座。柏林：斯普林格。莱克特。注释计算。科学。8604, 54-87 (2014).
MSC公司：68平方米25 第68季度第60季度 68问题85 94A60型 94A62型
PDF格式BibTeX公司 XML格式引用
\textit{B.Blanchet}，莱克特。注释计算。科学。8604，54-87（2014；Zbl 1448.68185）
全文： 内政部
托马斯·希伦布兰德;鲁齐卡皮斯卡;乌韦州瓦尔德曼;克里斯托夫·韦登巴赫

从搜索到计算：工作中的冗余标准和简化。 （英语） Zbl 1383.68076号

沃伦科夫，安德烈（编辑）等人，《编程逻辑》。纪念哈拉尔德·甘辛格的文章。柏林：施普林格出版社（ISBN 978-3-642-37650-4/pbk）。计算机科学课堂讲稿7797169-193（2013）。
MSC公司：68吨15 03B35型 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Hillenbrand}等人，Lect。注释计算。科学。7797、169--193（2013；Zbl 1383.68076）
全文： 内政部
迪帕克·卡普尔;罗伯特·纽文胡斯;安德烈·沃龙科夫;克里斯托夫·韦登巴赫;莱因哈德·威廉

Harald Ganzinger的遗产：对逻辑和编程的贡献。 （英语） Zbl 1383.68003号

沃伦科夫，安德烈（编辑）等人，《编程逻辑》。纪念哈拉尔德·甘辛格的文章。柏林：施普林格出版社（ISBN 978-3-642-37650-4/pbk）。计算机科学课堂讲稿7797，1-18（2013）。
MSC公司：68-03 01A70号 03B70号 68号30 68吨15
PDF格式BibTeX公司 XML格式引用
\textit｛D.Kapur｝等人，Lect。注释计算。科学。7797，1-18（2013；Zbl 1383.68003）
全文： 内政部
安德烈亚斯·雷乌;赫尔穆特·塞德尔

跨越句法障碍：\（{\mathcal H}_1\）-子句的互斥性。 （英语） Zbl 1297.68058号

Moreira，Nelma（编辑）等人，自动机的实现和应用。2012年7月17日至20日，第17届国际会议，CIAA 2012，葡萄牙波尔图。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-31605-0/pbk）。计算机科学课堂讲稿7381301-312（2012）。
MSC公司：68号30 03B70号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Reuß}和\textit{H.Seidl}，莱克特。注释计算。科学。7381301-312（2012；Zbl 1297.68058）
全文： 内政部
马提亚斯·霍巴赫

系统描述：SPASS-FD。 （英语） Zbl 1341.68190号

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。人工智能课堂讲稿，331-337（2011）。
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{M.Horbach}，莱克特。注释计算。科学。6803、331--337（2011；Zbl 1341.68190）
全文： 内政部
托马斯·马丁·高利察;赫尔穆特·塞德尔;库马尔·内拉吉（Kumar Neeraj Verma）

线性Horn子句的规范化。 （英语） Zbl 1325.68130号

Davies，Jim（编辑）等人，《形式方法：基础和应用》。2010年11月8日至11日在巴西纳塔尔举行的第13届巴西正式方法研讨会，SBMF 2010。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-19828-1/pbk）。计算机科学讲义6527，242-257（2011）。
MSC公司：65年第68季度 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{T.M.Gawlitza}等人，Lect。注释计算。科学。6527、242--257（2011；Zbl 1325.68130）
全文： 内政部
文森特·雪瓦尔;休伯特·科蒙·隆德;斯特凡尼德劳恩

自动化安全分析：约束系统的符号等价。 （英语） Zbl 1291.94068号

Giesl，Jürgen（编辑）等人，《自动推理》。2010年7月16日至19日在英国爱丁堡举行的第五届国际联合会议，IJCAR 2010。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-14202-4/pbk）。计算机科学讲义6173。人工智能课堂讲稿，412-426（2010）。
MSC公司：94A60型 68吨15
PDF格式BibTeX公司 XML格式引用
\文本{V.Cheval}等人，Lect。注释计算。科学。6173412--426（2010年；Zbl 1291.94068）
全文： 内政部 链接
马提亚斯·霍巴赫;克里斯托夫·韦登巴赫

决定（对于所有存在的^{*}）查询的归纳有效性。 （英语） Zbl 1257.03031号

Grädel，Erich（编辑）等人，《计算机科学逻辑》。2009年9月7日至11日在葡萄牙科英布拉举行的第23届CSL国际研讨会，EACSL第18届年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04026-9/pbk）。计算机科学课堂讲稿5771，332-347（2009）。
MSC公司：03B25号
PDF格式BibTeX公司 XML格式引用
\textit{M.Horbach}和\textit{C.Weidenbach}，莱克特。注释计算。科学。5771、332--347（2009年；Zbl 1257.03031）
全文： 内政部
雷纳尔德·阿弗尔德;休伯特·科蒙·隆德

基于刚性变量的解析，验证具有有限会话数的安全协议。 （英语） 兹比尔1242.94015

Cortier，Véronique（编辑）等人，《从形式到实用的安全性》。2005-2008年法日合作发表的论文。柏林：施普林格出版社（ISBN 978-3-642-02001-8/pbk）。计算机科学课堂讲稿54581-20（2009）。
MSC公司：94A60型 03B70号 第68季度第60季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{R.Affeldt}和\textit{H.科蒙·隆德}，莱克特。注释计算。科学。5458，1-20（2009；Zbl 1242.94015）
全文： 内政部
休伯特·科蒙·隆德

安全协议自动验证的挑战。 （英语） Zbl 1165.68403号

阿曼多、亚历山德罗（编辑）等，《自动推理》。2008年8月12日至15日在澳大利亚悉尼举行的第四届国际联合会议。柏林：施普林格出版社（ISBN 978-3-540-71069-1/pbk）。计算机科学课堂讲稿5195。人工智能课堂讲稿，396-409（2008）。
MSC公司：第68季度第60季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{H.科蒙·隆德}，莱克特。注释计算。科学。5195396--409（2008年；Zbl 1165.68403）
全文： 内政部
马提亚斯·霍巴赫;克里斯托夫·韦登巴赫

固定域的叠加。 （英语） Zbl 1156.03313号

迈克尔·卡明斯基（编辑）等人，《计算机科学逻辑》。2008年9月16日至19日，在意大利贝蒂诺罗举行的第22届CSL国际研讨会，第17届EACSL年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-87530-7/pbk）。计算机科学课堂讲稿5213，293-307（2008）。
MSC公司：03B35型 03B10号机组 03B25号
PDF格式BibTeX公司 XML格式引用
\textit{M.Horbach}和\textit{C.Weidenbach}，莱克特。注释计算。科学。52133293-307（2008年；兹bl 1156.03313）
全文： 内政部 链接
亚尼克·骑士;丹尼斯·卢吉兹;米歇尔·鲁西诺维奇

使用子rms约束验证加密协议。 （英语） Zbl 1137.94341号

Dershowitz，Nachum（编辑）等人，《编程逻辑、人工智能和推理》。2007年10月15日至19日在亚美尼亚埃里温举行的2007年LPAR第14届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75558-6/pbk）。计算机科学课堂讲稿4790。人工智能课堂讲稿，181-195（2007）。
MSC公司：94A60型 68个M12
PDF格式BibTeX公司 XML格式引用
\textit{Y.Chevalier}等人，Lect。注释计算。科学。4790181--195（2007年；Zbl 1137.94341）
全文： 内政部
亚尼克·骑士;库尔杰，穆尼拉

密码协议符号分析中的密钥替换。 （英语） Zbl 1135.94326号

Arvind，V.（ed.）等人，FSTTCS 2007：软件技术和理论计算机科学基础。第27届国际会议，印度新德里，2007年12月12-14日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-77049-7/pbk）。计算机科学课堂讲稿4855121-132（2007）。
MSC公司：94A60型 94A62型
PDF格式BibTeX公司 XML格式引用
\textit{Y.Chevalier}和\textit{M.Kourjieh}，莱克特。注释计算。科学。4855121-132（2007年；Zbl 1135.94326）
全文： 内政部 arXiv公司

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件