法比奥·帕帕奇尼；Cláudia Nalon；乌尔里希·赫斯塔特；克莱尔·狄克逊 局部是最好的：对模态逻辑的有效简化K（K）. （英语） Zbl 1512.68425号 J.汽车。推理 66，第4期，639-666（2022）; 更正同上，第66号，第4，1099（2022）。MSC公司：68伏15 03B35型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{F.Papacchini}等人，J.Autom。推理66，No.4，639--666（2022；Zbl 1512.68425） 全文： 内政部
Cláudia Nalon；乌尔里希·赫斯塔特；法比奥·帕帕奇尼；克莱尔·狄克逊 模态立方体的局部约简。 （英语） Zbl 07628205号 Blanchette，Jasmin（编辑）等人，《自动推理》。第十一届国际联合会议，2022年8月8日至10日，以色列海法，IJCAR 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13385, 486-505 (2022).MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{C.Nalon}等人，Lect。注释计算。科学。13385，486--505（2022；Zbl 07628205） 全文： 内政部
克莱尔·狄克逊 用子句分解法证明定理：从过去到现在。 （英语） Zbl 07670970号 Bell，Paul C.（编辑）等人，《可达性问题》。第15届国际会议，RP 2021，英国利物浦，2021年10月25-27日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13035, 19-27 (2021).MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{C.Dixon}，莱克特。注释计算。科学。13035、19-27（2021；Zbl 07670970） 全文： 内政部
G.库尔蒂斯。；狄克逊，C。；M·费希尔。；利西萨，A。 通过一阶时序逻辑对先导/跟随系统进行参数化验证。 （英语） Zbl 1492.68087号 形式方法系统。设计。 58，第3号，440-468（2021）; 更正同上，第60号，第325-326（2022）。MSC公司：60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Kourtis}等人，《形式方法系统》。设计。58，第3号，440-468（2021；Zbl 1492.68087） 全文： 内政部
法比奥·帕帕奇尼；Cláudia Nalon；乌尔里希·赫斯塔特；克莱尔·狄克逊 对基本模态逻辑进行有效的局部简化。 （英语） Zbl 07437073号 AndréPlatzer等人，《自动扣除——CADE 28》。2021年7月12日至15日，第28届自动扣款国际会议，虚拟活动。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12699, 76-92 (2021).MSC公司：03B35型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{F.Papacchini}等人，Lect。注释计算。科学。12699，76-92（2021；Zbl 07437073） 全文： 内政部
乌尔里希·赫斯塔特；安娜·奥扎基；克莱尔·狄克逊 自然数上逐点度量时间逻辑的定理证明。 （英语） 兹比尔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） 全文： 内政部
Cláudia Nalon；乌尔里希·赫斯塔特；克莱尔·狄克逊 \（\mathrm{克}_{\mathrm S}\mathrm{P}）一个基于分辨率的定理证明器，用于（{\mathsf{K}}_n）：体系结构、改进、策略和实验。 （英语） Zbl 1468.68304号 J.汽车。推理 64，第3号，461-484（2020）.MSC公司：68伏15 03B35型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{C.Nalon}等人，J.Autom。推理64，No.3，461--484（2020；Zbl 1468.68304） 全文： 内政部
John McCabe-Dansted先生；克莱尔·狄克逊；法语，蒂姆；马克·雷诺兹 鲁棒性分支时间逻辑的子逻辑。 （英语） Zbl 1436.03125号 Inf.计算。 266, 126-160 (2019).MSC公司：03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.McCabe-Dansted}等人，《信息计算》。266126-160（2019年；Zbl 1436.03125） 全文： 内政部
乌尔里希·赫斯塔特；保罗·盖纳；克莱尔·狄克逊；Cláudia Nalon；张，兰 联盟逻辑的有序解析。 （英语） Zbl 1464.03007号 De Nivelle，Hans（编辑），用分析表和相关方法进行自动推理。第24届国际会议，TABLEAUX 2015，波兰Wrocław，2015年9月21日至24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9323, 169-184 (2015).MSC公司：03B35型 03B45号 68T27型 68T42型 68伏15 91年12月 91A80型 PDF格式BibTeX公司 XML格式引用 \textit｛U.Hustadt｝等人，Lect。注释计算。科学。9323169-184（2015年；兹bl 1464.03007） 全文： 内政部
张，兰；乌尔里希·赫斯塔特；克莱尔·狄克逊 分支时间时序逻辑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） 全文： 内政部
阿卜杜勒卡德·贝登纳；克莱尔·狄克逊；迈克尔·费希尔 简单觅食机器人行为的演绎验证。 （英语） Zbl 1178.93098号 《国际情报杂志》。计算。赛博。 2，第4号，604-643（2009）.MSC公司：93C85号 68T40型 PDF格式BibTeX公司 XML格式引用 \textit{A.Behdenna}等人，《国际情报杂志》。计算。赛博。2，第4号，604--643（2009；Zbl 1178.93098） 全文： 内政部
张，兰；乌尔里希·赫斯塔特；克莱尔·狄克逊 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） 全文： 内政部
克莱尔·狄克逊；玛丽·卡门·费尔南德斯·加戈；迈克尔·费希尔；范德霍克，威比 知识的时间逻辑及其在安全中的应用。 （英语） Zbl 1277.94051号 Dima，Cétélin（ed.）等人，《信息和计算机安全第一次研讨会论文集》（ICS 2006），罗马尼亚蒂米索拉，2006年9月30日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记186，27-42（2007）。MSC公司：94A62型 03B44号 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{C.Dixon}等人，《电子》。注释Theor。计算。科学。186、27-42（2007年；Zbl 1277.94051） 全文： 内政部
克莱尔·狄克逊 使用知识的时序逻辑进行规范和验证–案例研究。 （英语） Zbl 1095.68050号 J.应用。日志。 4，第1期，50-78（2006）.MSC公司：60年第68季度 03B42号 03B44号 03B35型 91A26型 PDF格式BibTeX公司 XML格式引用 \textit{C.Dixon}，J.应用。日志。4，编号1，50--78（2006；Zbl 1095.68050） 全文： 内政部
克莱尔·狄克逊；亚历山大·博洛托夫；迈克尔·费希尔 交替自动机和时序逻辑范式。 （英语） Zbl 1087.03013号 Ann.纯粹应用。逻辑 135，编号1-3，263-285（2005）.MSC公司：03B44号 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Dixon}等人，Ann.Pure Appl。逻辑135，No.1--3，263--285（2005；Zbl 1087.03013） 全文： 内政部
鲍里斯·科涅夫；安纳托利·德吉亚列夫；克莱尔·狄克逊；迈克尔·费希尔；乌尔里希·赫斯塔特 机械化一阶时间分辨率。 （英语） 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） 全文： 内政部
克莱尔·狄克逊；Cláudia Nalon；迈克尔·费希尔 时间和知识的逻辑表以及与同步相关的交互。 （英语） Zbl 1185.03013号 J.应用。非类别。日志。 14，第4期，397-445（2004）.MSC公司：03B42号 03B44号 68T27型 PDF格式BibTeX公司 XML格式引用 \文本{C.Dixon}等人，J.Appl。非类别。日志。14，第4397-445号（2004年；Zbl 1185.03013） 全文： 内政部
克莱尔·狄克逊；迈克尔·费希尔；亚历山大·博洛托夫 理性代理逻辑中的条款解决。 （英语） Zbl 1015.68170号 Artif公司。智力。 139，第1期，47-89（2002）.MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{C.Dixon}等人，Artif。智力。139，第1号，47--89（2002；Zbl 1015.68170） 全文： 内政部