×

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

最新的 引文 关联
乌韦·沃尔德曼;索菲·托雷特;西蒙·罗比拉德;贾斯敏·布兰切特

饱和定理证明的综合框架。 （英文） Zbl 1512.68433号

佩尔蒂埃、尼古拉斯（编辑）等人，《自动推理》。第十届国际联合会议，2020年7月1日至4日，法国巴黎，IJCAR 2020。诉讼程序。第一部分查姆：施普林格。勒克特。注释计算。科学。12166, 316-334 (2020).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{U.Waldmann}等人，Lect。注释计算。科学。12166316-334（2020年；兹比尔1512.68433）
全文： 内政部
亚历山大·本特坎普;贾斯敏·布兰切特;索菲·托雷特;佩塔·武克米罗维奇;乌韦·沃尔德曼

与lambdas重叠。 （英文） Zbl 1471.03014号

Fontaine，Pascal（编辑），自动扣除-CADE 27。第27届自动扣减国际会议，巴西纳塔尔，2019年8月27日至30日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。11716, 55-73 (2019).
审核人：Łukasz Czajka（多特蒙德）
MSC公司：03B35型 03B16号 03B40型 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{A.Bentkamp}等人，Lect。注释计算。科学。11716，55-73（2019年；兹bl 1471.03014）
全文： 内政部 arXiv公司 哈尔
贾斯敏·克里斯蒂安·布兰切特;乌韦·沃尔德曼;丹尼尔·旺德

无lambda的高阶递归路径顺序。 （英文） Zbl 1486.68085号

Esparza，Javier（编辑）等人，《软件科学和计算结构基础》。2017年4月22日至29日，在瑞典乌普萨拉举行的2017年欧洲软件理论与实践联合会议ETAPS第20届国际会议FOSSACS。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。10203, 461-479 (2017).
MSC公司：2012年第68季度 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{J.C.Blanchette}等人，Lect。注释计算。科学。10203、461--479（2017；Zbl 1486.68085）
全文： 内政部 哈尔
雷娜特·施密特（Renate A.Schmidt）。;乌韦·沃尔德曼

具有阻塞和同余闭包的模态表系统。 （英文） Zbl 1471.03018号

De Nivelle，Hans（编辑），用分析表和相关方法进行自动推理。第24届国际会议，TABLEAUX 2015，波兰Wrocław，2015年9月21日至24日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。9323, 38-53 (2015).
MSC公司：03B35型 03B25号 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{R.A.Schmidt}和\textit{U.Waldmann}，Lect。注释计算。科学。9323，38--53（2015；Zbl 1471.03018）
全文： 内政部 链接
彼得·鲍姆加特纳;约书亚·巴克斯;乌韦·沃尔德曼

Beagle–层次叠加定理证明程序。 （英文） Zbl 1465.68277号

Felty，Amy P.（编辑）等人，《自动扣除——CADE-25》。2015年8月1日至7日在德国柏林举行的第25届自动扣减国际会议。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。9195, 367-377 (2015).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{P.Baumgartner}等人，Lect。注释计算。科学。9195，367--377（2015；Zbl 1465.68277）
全文： 内政部
托马斯·希伦布兰德;鲁齐卡皮斯卡;乌韦·沃尔德曼;克里斯托夫·韦登巴赫

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

Voronkov，Andrei（编辑）等人，《编程逻辑》。纪念哈拉尔德·甘辛格的文章。柏林：施普林格出版社（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）
全文： 内政部
米歇尔·路德维希;乌韦·沃尔德曼

Knuth-Bendix序的一个扩展，具有类LPO性质。 （英文） Zbl 1137.03306号

Dershowitz，Nachum（编辑）等人，《编程逻辑、人工智能和推理》。2007年10月15日至19日在亚美尼亚埃里温举行的2007年LPAR第14届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75558-6/pbk）。计算机科学课堂讲稿4790。人工智能课堂讲稿，348-362（2007）。
MSC公司：03B35型
PDF格式BibTeX公司 XML格式引用
\textit{M.路德维希}和\textit{U.沃尔德曼}，莱克特。注释计算。科学。4790、348--362（2007年；Zbl 1137.03306）
全文： 内政部
哈拉尔德·甘辛格;乌韦·沃尔德曼

可消阿贝尔幺半群中的定理证明（扩展抽象）。 （英文） Zbl 1412.68225号

McRobbie，M.A.（编辑）等人，《自动扣除——CADE-13》。第十三届自动扣减国际会议，美国新泽西州新不伦瑞克，1996年7月/8月。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。1104, 388-402 (1996).
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{H.Ganzinger}和\textit{U.Waldmann}，莱克特。注释计算。科学。1104388--402（1996年；Zbl 1412.68225）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件