林玉辉;阿兰·邦迪;古德蒙德·格罗夫;埃文·麦克林 通过涟漪和校样修补实现Event-B不变校样的自动化。 (英语) Zbl 1425.68077号 正式Asp。计算。 31,第1号,95-129(2019).MSC公司:68纳米30 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{Y.Lin}等人,《正式Asp》。计算。31,第1号,95-129(2019;Zbl 1425.68077) 全文: 内政部
丹尼尔·拉吉;阿兰·邦迪;古德蒙德·格罗夫;艾莉森·皮斯 在离散数学中自动改变证明的表示(扩展版)。 (英语) Zbl 1409.68261号 数学。计算。科学。 10,第4期,429-457(2016).MSC公司:68吨15 68卢比 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{D.Raggi}等人,《数学》。计算。科学。10,第4号,429--457(2016;Zbl 1409.68261) 全文: 内政部
丹尼尔·拉吉;阿兰·邦迪;古德蒙德·格罗夫;艾莉森·皮斯 在离散数学中自动改变证明的表示。 (英语) Zbl 1409.68260号 Kerber,Manfred(编辑)等人,《智能计算机数学》。国际会议,CICM 2015,华盛顿特区,美国,2015年7月13日至17日,会议记录。查姆:斯普林格。莱克特。注释计算。科学。9150, 227-242 (2015).MSC公司:68吨15 68卢比 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{D.Raggi}等人,Lect。注释计算。科学。9150227--242(2015;Zbl 1409.68260) 全文: 内政部 arXiv公司
穆阿·约翰逊;卢卡斯·狄克逊;阿兰·邦迪 归纳理论的猜想综合。 (英语) Zbl 1243.68268号 J.汽车。推理 47,第3期,251-289(2011).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Johansson}等人,J.Autom。推理47,No.3,251--289(2011;Zbl 1243.68268) 全文: 内政部 链接
穆阿·约翰逊;卢卡斯·狄克逊;阿兰·邦迪 动态涟漪、中庸推理和引理发现。 (英语) Zbl 1309.68169号 Siegler,Simon(编辑)等人,《验证、归纳、终止分析》。在克里斯托夫·沃尔特60岁生日之际,为他举行庆祝活动。柏林:施普林格出版社(ISBN 978-3-642-17171-0/pbk)。计算机科学课堂讲稿6463。人工智能课堂讲稿,102-116(2010)。MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Johansson}等人,Lect。注释计算。科学。6463、102-116(2010年;Zbl 1309.68169) 全文: 内政部 链接
劳尔·蒙罗伊;阿兰·邦迪;格林,伊恩 过程等效=CCS中的方程求解。 (英语) Zbl 1191.68443号 J.汽车。推理 43,第1期,53-80(2009).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Monroy}等人,J.Autom。推理43,第1号,53-80(2009年;Zbl 1191.68443) 全文: 内政部 链接
路易斯·丹尼斯;阿兰·邦迪;格林,伊恩 使用泛化批评家为共推证明寻找互模拟。 (英语) Zbl 1430.68399号 William McCune(编辑),《自动扣除——CADE-14》。第十四届自动扣款国际会议,澳大利亚昆士兰北部汤斯维尔。1997年7月13日至17日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1249, 276-290 (1997).MSC公司:第68卷第15页 68纳米30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Dennis}等人,Lect。注释计算。科学。1249276-290(1997年;Zbl 1430.68399) 全文: 内政部 链接
伊娜·克拉恩;戴维·巴恩斯;阿兰·邦迪 综合和归纳的中间推理。 (英语) Zbl 0847.68104号 J.汽车。推理 16,编号1-2,113-145(1996).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{I.Kraan}等人,J.Autom。推理16,No.1--2,113--145(1996;Zbl 0847.68104) 全文: 内政部
爱尔兰,安德鲁;阿兰·邦迪 在归纳证明中对失败的有效利用。 (英语) Zbl 0847.68103号 J.汽车。推理 16,编号1-2,79-111(1996).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.爱尔兰}和\textit{A.邦迪},J.Autom。推理16,No.1--2,79-111(1996;Zbl 0847.68103) 全文: 内政部
爱尔兰,安德鲁;阿兰·邦迪 归纳证明的一般化批评家的扩展。 (英语) 兹比尔1412.68238 McRobbie,M.A.(编辑)等人,《自动推导——CADE-13》。第十三届自动扣减国际会议,美国新泽西州新不伦瑞克,1996年7月/8月。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1104, 47-61 (1996).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.爱尔兰}和\textit{A.邦迪},莱克托。注释计算。科学。1104,47-61(1996;Zbl 1412.68238) 全文: 内政部 链接
刘伟如;阿兰·邦迪 使用扩展关联演算构造概率ATMS。 (英语) Zbl 0941.68766号 国际J近似推理 15,第2期,145-182(1996).MSC公司:68层37 03B20型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{W.Liu}和\textit{A.Bundy},《国际近似推理》15,第2期,145-182(1996;Zbl 0941.68766) 全文: 内政部
麦克莱恩,R.G。;A.邦迪。;刘伟(Liu,W.)。 关联演算的赋值方法。 (英语) Zbl 0820.68114号 国际J近似推理 12,第1期,21-41(1995).MSC公司:68T27型 90立方厘米05 PDF格式BibTeX公司 XML格式引用 \textit{R.G.McLean}et al.,Int.J.近似推理12,No.1,21-41(1995;Zbl 0820.68114) 全文: 内政部
阿兰·邦迪;安德鲁·史蒂文斯;范·哈梅伦,弗兰克;爱尔兰,安德鲁;阿兰·斯梅尔 Rippling:引导归纳证明的启发式方法。 (英语) Zbl 0789.68121号 工件。智力。 62,第2期,185-253(1993). 审核人:A.Leitsch(维也纳) MSC公司:68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{A.Bundy}等人,Artif。智力。62,No.2,185--253(1993;Zbl 0789.68121) 全文: 内政部
阿兰·邦迪;范·哈梅伦,弗兰克;阿兰·斯梅尔;爱尔兰,安德鲁 用于指导归纳证明的涟漪式策略的扩展。 (英语) Zbl 1509.68300号 Stickel,Mark E.(编辑),自动扣除-CADE-10。第十届国际会议,德国凯泽斯劳滕,1990年7月24日至27日。诉讼程序。柏林等:Springer-Verlag。莱克特。注释计算。科学。449, 132-146 (1990).MSC公司:第68卷第15页 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Bundy}等人,Lect。注释计算。科学。449、132--146(1990年;Zbl 1509.68300) 全文: 内政部 链接
阿兰·邦迪 利用关联演算进行不确定推理的一些算法的正确性准则。 (英语) Zbl 0642.68178号 J.汽车。推理 2, 109-126 (1986).MSC公司:68T99型 68T20型 03B48号 PDF格式BibTeX公司 XML格式引用 \textit{A.Bundy},J.奥托姆。推理2109--126(1986;Zbl 0642.68178) 全文: 内政部