乌尔里希·赫斯塔特;安娜·奥扎基;克莱尔·狄克逊 通过平移证明自然上的逐点度量时态逻辑的定理。 (英语) Zbl 1459.03012号 J.汽车。推理 64,第8期,1553-1610(2020).MSC公司:03B35型 03B44号 03B70号 68T40型 68伏15 90B20型 90B35型 PDF格式BibTeX公司 XML格式引用 \textit{U.Hustadt}等人,J.Autom。推理64,No.8,1553--1610(2020;Zbl 1459.03012) 全文: 内政部
乌尔里希·赫斯塔特;安娜·奥扎基;克莱尔·狄克逊 自然上度量时态逻辑的定理证明。 (英语) Zbl 1496.03047号 de Moura,Leonardo(编辑),自动扣除-CADE 26。2017年8月6日至11日在瑞典哥德堡举行的第26届自动扣减国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10395, 326-343 (2017).MSC公司:03B35型 03B44号 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{U.Hustadt}等人,Lect。注释计算。科学。10395326——343(2017年;兹bl 1496.03047) 全文: 内政部
张,兰;乌尔里希·赫斯塔特;克莱尔·狄克逊 分支时间时序逻辑CTL的分解演算。 (英语) Zbl 1287.03033号 ACM事务处理。计算。日志。 第15号第1条第10条第38页(2014年).MSC公司:03B35型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{L.Zhang}等人,ACM翻译。计算。日志。15,第1号,第10条,第38页(2014;Zbl 1287.03033) 全文: 内政部
张,兰;乌尔里希·赫斯塔特;克莱尔·狄克逊 CTL-RP:一种计算树逻辑解析证明器。 (英语) Zbl 1205.68365号 AI通讯。 23,编号2-3,111-136(2010).MSC公司:68吨15 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{L.Zhang}等人,AI Commun。23、编号2--3、111-136(2010;Zbl 1205.68365) 全文: 内政部
米歇尔·路德维希;乌尔里希·赫斯塔特 实现公平的一元时序逻辑证明程序。 (英语) Zbl 1206.68283号 AI通讯。 23,编号2-3,69-96(2010).MSC公司:68吨15 68T05型 03B44号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Ludwig}和\textit{U.Hustadt},AI Commun。23,编号2--3,69-96(2010;Zbl 1206.68283) 全文: 内政部
米歇尔·路德维希;乌尔里希·赫斯塔特 一元时间推理中的公平推导。 (英语) Zbl 1250.03018号 Schmidt,Renate A.(编辑),自动扣除-CADE-22。第22届自动扣减国际会议,加拿大蒙特利尔,2009年8月2-7日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02958-5/pbk)。计算机科学讲义5663。人工智能课堂讲稿,261-276(2009)。MSC公司:03B35型 03B44号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Ludwig}和\textit{U.Hustadt},莱克特。注释计算。科学。5663、261--276(2009年;Zbl 1250.03018) 全文: 内政部
张,兰;乌尔里希·赫斯塔特;克莱尔·狄克逊 CTL的精细分辨率演算。 (英语) Zbl 1250.03023号 Schmidt,Renate A.(编辑),自动扣除-CADE-22。第22届自动扣减国际会议,加拿大蒙特利尔,2009年8月2-7日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02958-5/pbk)。计算机科学讲座笔记5663。人工智能课堂讲稿,245-260(2009)。MSC公司:03B35型 03B44号 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{L.Zhang}等人,Lect。注释计算。科学。5663245--260(2009年;Zbl 1250.03023) 全文: 内政部
弗南德斯·加戈,M.C。;美国Hustadt。;狄克逊,C。;M·费希尔。;科涅夫,B。 实践中的一阶时间验证。 (英语) Zbl 1108.03018号 J.汽车。推理 34,第3期,295-321(2005).MSC公司:03B35型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.C.Fernández-Gago}等人,J.Autom。推理34,No.3,295--321(2005;Zbl 1108.03018) 全文: 内政部
乌尔里希·赫斯塔特;鲍里斯·科涅夫;雷娜特·施密特(Renate A.Schmidt)。 通过时间分辨率决定单音片段。 (英语) Zbl 1135.03332号 Nieuwenhuis,Robert(编辑),自动扣除-CADE-20。第20届自动扣款国际会议,爱沙尼亚塔林,2005年7月22日至27日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-28005-7/pbk)。计算机科学课堂讲稿3632。《人工智能讲义》,204-218(2005)。MSC公司:03B44号 03B25号 03B35型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Hustadt}等人,Lect。注释计算。科学。3632、204--218(2005年;Zbl 1135.03332) 全文: 内政部
鲍里斯·科涅夫;安纳托利·德吉亚列夫;克莱尔·狄克逊;迈克尔·费希尔;乌尔里希·赫斯塔特 机械化一阶时间分辨率。 (英语) Zbl 1086.03009号 Inf.计算。 199,第1-2号,55-86(2005).MSC公司:03B35型 03B44号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{B.Konev}等人,Inf.Comput。199,编号1--2,55-86(2005;Zbl 1086.03009) 全文: 内政部
乌尔里希·赫斯塔特;鲍里斯·科涅夫;亚历山大·里亚扎诺夫;安德烈·沃伦科夫 TeMP:一个时态单数证明。 (英语) Zbl 1126.68568号 David Basin(编辑)等人,《自动推理》。第二届国际联合会议,2004年7月4日至8日,爱尔兰科克,IJCAR 2004。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22345-2/pbk)。计算机科学课程讲稿3097。人工智能课堂讲稿,326-330(2004)。MSC公司:68吨15 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{U.Hustadt}等人,Lect。注释计算。科学。3097326-330(2004年;Zbl 1126.68568) 全文: 内政部
布兰登·贝内特;克莱尔·狄克逊;迈克尔·费希尔;乌尔里希·赫斯塔特;恩里科·弗朗科尼;伊恩·霍洛克斯;马尔滕·德·里杰克 模态逻辑的组合。 (英语) Zbl 1014.68158号 Artif公司。智力。版次。 17,第1号,1-20(2002).MSC公司:68立方英尺 03B44号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{B.Bennett}等人,人工制品。智力。第17版,第1号,1--20(2002;Zbl 1014.68158) 全文: 内政部
美国Hustadt。;狄克逊,C。;施密特,R.A。;M·费希尔。 模态逻辑和时序逻辑的范式和证明。 (英语) Zbl 0964.03011号 Kirchner,Hélène(编辑)等人,《组合系统的前沿》。2000年3月22日至24日,法国南希,第三届国际研讨会,FroCoS 2000。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1794年,73-87(2000年)。 审核人:瓦伦丁·F·戈兰科(约翰内斯堡) MSC公司:03B35型 05年3月 03B45号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{U.Hustadt}等人,Lect。注释计算。科学。1794年,73-87年(2000年;Zbl 0964.03011)