亚历山大·本特坎普;贾斯敏·布兰切特;索菲·托雷特;佩塔·武克米罗维奇;乌韦·沃尔德曼 与lambdas重叠。 （英文） Zbl 07433023号 J.汽车。推理 65，第7期，893-940（2021）.MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Bentkamp}等人，J.Autom。推理65，No.7，893--940（2021；Zbl 07433023） 全文： 内政部
贾斯敏·克里斯蒂安·布兰切特;乌韦·沃尔德曼;丹尼尔·旺德 无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） 全文： 内政部 链接
彼得·鲍姆加特纳;乌韦·沃尔德曼 一种叠加和模型进化的组合微积分。 （英文） Zbl 1267.03033号 J.汽车。推理 47，第2期，191-227（2011）. 审核人：埃米利奥·穆尼奥斯·贝拉斯科（马拉加） MSC公司：03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{P.Baumgartner}和\textit{U.Waldmann}，J.Autom。推理47，No.2，191--227（2011；Zbl 1267.03033） 全文： 内政部
彼得·鲍姆加特纳;乌韦·沃尔德曼 叠加和模型演化相结合。 （英文） Zbl 1237.03010号 Schmidt，Renate A.（编辑），自动扣除-CADE-22。第22届自动扣减国际会议，加拿大蒙特利尔，2009年8月2-7日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02958-5/pbk）。计算机科学讲座笔记5663。人工智能课堂讲稿，17-34（2009）。MSC公司：03B35型 PDF格式BibTeX公司 XML格式引用 \textit{P.Baumgartner}和\textit{U.Waldmann}，莱克特。注释计算。科学。5663、17-34（2009年；Zbl 1237.03010） 全文： 内政部
瑞典雅各布斯;乌韦·沃尔德曼 比较自动推理的实例生成方法。 （英文） Zbl 1113.68089号 J.汽车。推理 38，编号1-3，57-78（2007）.MSC公司：68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{S.Jacobs}和\textit{U.Waldmann}，J.Autom。推理38，No.1--3，57-78（2007；Zbl 1113.68089） 全文： 内政部 链接
哈拉尔德·甘辛格;维奥里卡Sofrone-Stokkerman;乌韦·沃尔德曼 具有Evans等式的部分函数的模证明系统。 （英文） Zbl 1103.68112号 Inf.计算。 204，第10期，1453-1492（2006）.MSC公司：68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit｛H.Ganzinger｝等人，信息计算。204，第10号，1453-1492（2006；Zbl 1103.68112） 全文： 内政部