阿尔贝托·莫米利亚诺;碧姬·品特卡;大卫·希伯多 编程共推证明的案例研究:豪的方法。 (英语) Zbl 1430.68418号 数学。结构。计算。科学。 29,第8期,1309-1343(2019).MSC公司:68伏15 68甲18 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Momigliano}等人,《数学》。结构。计算。科学。29,编号8,1309-1343(2019;兹bl 1430.68418) 全文: 内政部
艾米·费尔蒂(Amy P.Felty)。;阿尔贝托·莫米利亚诺;碧姬·品特卡 接下来的700个挑战性问题是使用高阶抽象语法表示进行推理。二: 调查。 (英语) Zbl 1357.68198号 J.汽车。推理 55,第4号,307-372(2015).MSC公司:68吨15 68-02 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Felty}等人,J.Autom。推理55,No.4,307--372(2015;Zbl 1357.68198) 全文: 内政部
艾米·费尔蒂;阿尔贝托·莫米利亚诺 混合。使用高阶抽象语法进行推理的定义性两级方法。 (英语) Zbl 1252.68252号 J.汽车。推理 48,第1期,43-105(2012).MSC公司:68吨15 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Felty}和\textit{A.Momigliano},J.Autom。推理48,No.1,43--105(2012;Zbl 1252.68252) 全文: 内政部
碧姬·品特卡 编程归纳证明。基于上下文类型的新方法。 (英语) Zbl 1309.68051号 Siegler,Simon(编辑)等人,《验证、归纳、终止分析》。在克里斯托夫·沃尔特60岁生日之际,为他举行庆祝活动。柏林:施普林格出版社(ISBN 978-3-642-17171-0/pbk)。计算机科学课堂讲稿6463。人工智能课堂讲稿,1-16(2010)。MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Pientka},莱克特。注释计算。科学。6463,1--16(2010年;Zbl 1309.68051) 全文: 内政部
碧姬·品特卡;乔舒亚·邓菲尔德 白鲸:用演绎系统进行编程和推理的框架(系统描述)。 (英语) Zbl 1291.68366号 Giesl,Jürgen(编辑)等人,《自动推理》。2010年7月16日至19日,英国爱丁堡,第五届国际联合会议,IJCAR 2010。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-14202-4/pbk)。计算机科学讲义6173。人工智能课堂讲稿,15-21(2010)。MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{B.Pientka}和\textit{J.Dunfield},莱克特。注释计算。科学。6173,15--21(2010;Zbl 1291.68366) 全文: 内政部