斯蒂芬·福克;迪帕克·卡普尔 公式什么时候是循环不变量？ （英语） Zbl 1321.68191号 Martí-Oliet，Narciso（编辑）等人，《逻辑、重写和并发》。纪念何塞·梅塞盖尔65岁生日的文章。查姆：施普林格（ISBN 978-3-319-23164-8/pbk；978-3-3169-23165-5/电子书）。《计算机科学讲义》9200264-286（2015）。MSC公司：68纳米30 PDF格式BibTeX公司 XML格式引用 \textit{S.Falke}和\textit{D.Kapur}，莱克特。注释计算。科学。9200、264--286（2015年；Zbl 1321.68191） 全文： 内政部
张志海;迪帕克·卡普尔 关于不变量检查。 （英语） Zbl 1310.68147号 J.系统。科学。复杂。 26，第3期，470-482（2013）。MSC公司：60年第68季度 68纳米30 PDF格式BibTeX公司 XML格式引用 \textit{Z.Zhang}和\textit{D.Kapur}，J.Syst。科学。复杂。26，第3号，470--482（2013；Zbl 1310.68147） 全文： 内政部
迪帕克·卡普尔 程序分析的消除技术。 （英语） Zbl 1383.68023号 沃伦科夫，安德烈（编辑）等人，《编程逻辑》。纪念哈拉尔德·甘辛格的文章。柏林：施普林格出版社（ISBN 978-3-642-37650-4/pbk）。计算机科学课堂讲稿7797194-215（2013）。MSC公司：68纳米30 03C10号机组 68问题55 PDF格式BibTeX公司 XML格式引用 \文本｛D.Kapur｝，勒克特。注释计算。科学。7797194-215（2013；Zbl 1383.68023） 全文： 内政部
迪帕克·卡普尔;罗伯特·纽文胡斯;安德烈·沃伦科夫;克里斯托夫·韦登巴赫;莱因哈德·威廉 Harald Ganzinger的遗产：对逻辑和编程的贡献。 （英语） Zbl 1383.68003号 沃伦科夫，安德烈（编辑）等人，《编程逻辑》。纪念哈拉尔德·甘辛格的文章。柏林：施普林格出版社（ISBN 978-3-642-37650-4/pbk）。计算机科学课堂讲稿7797，1-18（2013）。MSC公司：68-03 01A70号 03B70号 68纳米30 68吨15 PDF格式BibTeX公司 XML格式引用 \textit｛D.Kapur｝等人，Lect。注释计算。科学。7797，1-18（2013；Zbl 1383.68003） 全文： 内政部
罗德里格斯-卡博内尔，E。;卡普尔，D。 在简单循环中生成所有多项式不变量。 （英语） Zbl 1121.13034号 J.塞姆。计算。 42，第4期，443-476（2007）。MSC公司：13页第10页 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{E.Rodríguez-Carbonell}和\textit{D.Kapur}，J.Symb。计算。42，第4号，443--476（2007；Zbl 1121.13034） 全文： 内政部
迪帕克·卡普尔;西瓦库马尔，G。;张汉涛 用于证明AC重写系统终止的路径排序。 （英语） Zbl 0819.68115号 J.汽车。推理 14，第2期，293-316（1995）。MSC公司：68吨15 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Kapur}等人，J.Autom。推理14，第2期，293-316（1995年；Zbl 0819.68115） 全文： 内政部
卡普尔，D。;X·聂。;D.R.穆瑟。 Tecton证明系统概述。 （英语） Zbl 0938.68823号 西奥。计算。科学。 133，第2号，307-339（1994）。MSC公司：68吨15 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{D.Kapur}等人，Theor。计算。科学。133，编号2307-339（1994年；兹bl 0938.68823） 全文： 内政部