戴尔·米勒;亚历山大·维尔 当等式是逻辑连接词时，证明搜索的不可判定性。 （英语） Zbl 07517440号 安。数学。Artif公司。智力。 90，第5期，523-535（2022）.MSC公司：03财年03 PDF格式BibTeX公司 XML格式引用 \textit{D.Miller}和\textit{A.Viel}，Ann.数学。Artif公司。智力。90，编号5，523--535（2022；Zbl 07517440） 全文： 内政部 哈尔
希思，昆廷;戴尔·米勒 模型检验的证明理论。 （英语） Zbl 1468.03078号 J.汽车。推理 63，第4期，857-885（2019）.MSC公司：03楼52 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Q.Heath}和\textit{D.Miller}，J.Autom。推理63，No.4，857--885（2019；Zbl 1468.03078） 全文： 内政部 哈尔
戴尔·米勒 重温机械化元理论。 （英语） Zbl 1468.68303号 J.汽车。推理 63，第3号，625-665（2019）.MSC公司：68伏15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{D.Miller}，J.Autom。推理63，No.3，625--665（2019；Zbl 1468.68303） 全文： 内政部 哈尔
希思，昆廷;戴尔·米勒 模型检验的证明理论：一个扩展的抽象。 （英语） Zbl 1483.03034号 Cervesato，Iliano（ed.）等人，《第四届线性国际研讨会论文集》，linearity 2016，葡萄牙波尔图，2016年6月25日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）2381-10（2017）。MSC公司：03楼52 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Q.Heath}和\textit{D.Miller}，电子。程序。西奥。计算。科学。（EPTCS）238，1--10（2017；Zbl 1483.03034） 全文： arXiv公司 链接
戴尔·米勒 校对和逻辑编程。 （英语） Zbl 1362.68056号 正式Asp。计算。 29，第3期，383-399（2017）.MSC公司：68号30 03B70型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{D.Miller}，正式Asp。计算。29，第3号，383--399（2017；Zbl 1362.68056） 全文： 内政部 哈尔
戴尔·米勒;Tiu，Alwen先生 从表格证据搜索中提取证据。 （英语） Zbl 1426.68174号 Gonthier，Georges（编辑）等人，《认证程序和证明》。第三届国际会议，2013年CPP，澳大利亚维多利亚州墨尔本，2013年12月11-13日。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。8307, 194-210 (2013).MSC公司：60年第68季度 68问题85 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{D.Miller}和\textit{A.Tiu}，莱克特。注释计算。科学。8307194-210（2013；Zbl 1426.68174） 全文： 内政部 哈尔
安德鲁·加塞克;戴尔·米勒;戈帕兰·纳达图尔 推理计算的两级逻辑方法。 （英语） Zbl 1290.68088号 J.汽车。推理 49，第2期，241-273（2012）.MSC公司：60年第68季度 03B40型 68甲18 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Gacek}等人，J.Autom。推理49，No.2，241--273（2012；Zbl 1290.68088） 全文： 内政部 arXiv公司
安德鲁·加塞克;戴尔·米勒;戈帕兰·纳达图尔 名义抽象。 （英语） Zbl 1215.03049号 Inf.计算。 209，第1期，48-73（2011）.MSC公司：03B70型 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Gacek}等人，《信息计算》。209，第1号，48--73（2011；Zbl 1215.03049） 全文： 内政部
安德鲁·加塞克;戴尔·米勒;戈帕兰·纳达图尔 Abella中关于结构操作语义规范的推理。 （英语） Zbl 1337.68239号 Abel，Andreas（编辑）等人，《逻辑框架和元语言：理论与实践第三届国际研讨会论文集》（LFMTP 2008），匹兹堡，宾夕法尼亚州，美国，2008年6月23日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记228，85-100（2009）。MSC公司：68吨15 03B70型 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Gacek}等人，《电子》。注释Theor。计算。科学。228、85-100（2009年；Zbl 1337.68239） 全文： 内政部
戴尔·米勒 在逻辑中形式化操作语义规范。 （英语） Zbl 1347.68213号 Falaschi，Moreno（编辑），第17届函数和（约束）逻辑编程国际研讨会论文集（WFLP 2008），意大利锡耶纳，2008年7月3日至4日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记246147-165（2009）。MSC公司：68问题55 03B70型 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Miller}，电子。注释Theor。计算。科学。246147-165（2009年；兹比尔1347.68213） 全文： 内政部
贝尔德，大卫;戴尔·米勒 线性逻辑中的最小和最大不动点。 （英语） Zbl 1137.03323号 Dershowitz，Nachum（编辑）等人，《编程逻辑、人工智能和推理》。2007年10月15日至19日在亚美尼亚埃里温举行的2007年LPAR第14届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75558-6/pbk）。计算机科学课堂讲稿4790。《人工智能课堂讲稿》，92-106（2007）。MSC公司：03楼52 03B20型 03B70型 PDF格式BibTeX公司 XML格式引用 \textit{D.Baelde}和\textit{D.Miller}，莱克特。注释计算。科学。4790，92-106（2007年；Zbl 1137.03323） 全文： 内政部 arXiv公司