马可·曼托瓦尼;阿尔贝托·莫米利亚诺 面向基于子结构特性的测试。 (英语) Zbl 1521.68035号 De Angelis,Emanuele(编辑)等,基于逻辑的程序合成和转换。第31届国际研讨会,2021年9月7日至8日,爱沙尼亚塔林,LOPSTR 2021。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13290, 92-112 (2022).MSC公司:68号30 03B47号 68甲15 第68季度55 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{M.Mantovani}和\textit{A.Momigliano},莱克特。注释计算。科学。13290,92-112(2022;Zbl 1521.68035) 全文: 内政部 arXiv公司
托梅尔·利巴尔;戴尔·米勒 函数作为构造函数的高阶统一:扩展模式统一。 (英语) Zbl 07517437号 安。数学。Artif公司。智力。 90,5号,455-479(2022).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{T.Libal}和\textit{D.Miller},Ann.数学。Artif公司。智力。90,编号5,455--479(2022;Zbl 07517437) 全文: 内政部
费尔蒂,艾米;卡洛斯·奥拉特;布鲁诺·泽维尔 重点线性逻辑框架及其在对象逻辑元理论中的应用。 (英语) Zbl 07460120号 数学。结构。计算。科学。 31,第3号,312-340(2021).MSC公司:03楼52 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{A.Felty}等人,数学。结构。计算。科学。31,第3号,312--340(2021;Zbl 07460120) 全文: 内政部
穆罕默德·尤斯里·马哈茂德;艾米·费尔蒂(Amy P.Felty)。 线性逻辑中Quipper量子编程语言的元理论的形式化。 (英语) Zbl 1468.68330号 J.自动化。推理 63,第4期,967-1002(2019).MSC公司:68V20型 68甲15 68甲18 81页68 PDF格式BibTeX公司 XML格式引用 \textit{M.Y.Mahmoud}和\textit{A.P.Felty},J.Autom。推理63,No.4,967--1002(2019;Zbl 1468.68330) 全文: 内政部 arXiv公司
希思,昆廷;戴尔·米勒 模型检验的证明理论。 (英语) 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 1462.68021号 Kirchner,Hélène(编辑),第三届计算和扣除正式结构国际会议,2018年7月9日至12日,英国牛津FSCD。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。108,第19条,第17页(2018年)。MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{R.Jacob-Rao}等人,LIPIcs——莱布尼茨国际程序。通知。108,第19条,第17页(2018;Zbl 1462.68021) 全文: 内政部 arXiv公司
穆罕默德·尤斯里·马哈茂德;艾米·费尔蒂(Amy P.Felty)。 量子编程语言的形式化元级分析框架。 (英语) Zbl 1433.68078号 Alves,Sandra(编辑)等人,逻辑和语义框架与应用第十二次研讨会论文集(LSFA 2017),巴西巴西利亚,2017年9月23日至24日。阿姆斯特丹:爱思唯尔。电子。注释Theor。计算。科学。338, 185-201 (2018).MSC公司:68甲15 03B40型 03B70号 68伏15 81页68 PDF格式BibTeX公司 XML格式引用 \textit{M.Y.Mahmoud}和\textit{A.P.Felty},电子。注释Theor。计算。科学。338185-201(2018;Zbl 1433.68078) 全文: 内政部
克里斯托夫·本兹穆勒 量化条件逻辑的简化。 (英语) Zbl 1417.03282号 J.菲洛斯。日志。 46,第3期,333-353(2017).MSC公司:05年3月 03B15号机组 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{C.Benzmüller},J.Philos(费罗斯)。日志。46,第3号,333--353(2017;Zbl 1417.03282) 全文: 内政部
艾娜·林·乔治斯;阿加塔·穆拉夫斯卡;肖恩·奥蒂斯;碧姬·品特卡 林肯:具有一流上下文的线性逻辑框架。 (英语) Zbl 1485.68065号 Yang,Hongseok(编辑),《编程语言和系统》。2017年4月22日至29日在瑞典乌普萨拉举行的第26届欧洲编程研讨会(ESOP 2017),是欧洲软件理论与实践联合会议(ETAPS 2017)的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。10201, 530-555 (2017).MSC公司:68号30 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{A.L.Georges}等人,Lect。注释计算。科学。10201、530--555(2017;Zbl 1485.68065) 全文: 内政部
艾米·费尔蒂(Amy P.Felty)。;阿尔贝托·莫米利亚诺;碧姬·品特卡 接下来的700个挑战性问题是使用高阶抽象语法表示进行推理。二: 调查。 (英语) Zbl 1357.68198号 J.自动化。推理 55,编号4307-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 1310.03044号 西奥。计算。科学。 577, 1-24 (2015).MSC公司:03B70号 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{A.Popescu}和\textit{G.Rošu},Theor。计算。科学。577,1--24(2015;Zbl 1310.03044) 全文: 内政部
蒂乌,阿尔文;阿尔贝托·莫米利亚诺 带归纳和共归纳的逻辑的截消。 (英语) Zbl 1278.03086号 J.应用。日志。 10,第4号,330-367(2012). 审核人:Andrzej Indrzejczak(Łód罗兹) MSC公司:05年3月 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Tiu}和\textit{A.Momigliano},J.Appl。日志。10,第4号,330-367(2012;Zbl 1278.03086) 全文: 内政部 arXiv公司
安德鲁·加塞克;戴尔·米勒;戈帕兰·纳达图尔 名义抽象。 (英语) 兹比尔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 1337.03038号 Abel,Andreas(编辑)等人,《逻辑框架和元语言:理论与实践第三届国际研讨会论文集》(LFMTP 2008),匹兹堡,宾夕法尼亚州,美国,2008年6月23日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记228,3-19(2009)。MSC公司:03B70号 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{D.Baelde},电子。注释Theor。计算。科学。228、3-19(2009年;Zbl 1337.03038) 全文: 内政部
戴尔·米勒 在逻辑中形式化操作语义规范。 (英语) 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年;Zbl 1347.68213) 全文: 内政部
安德烈·波佩斯库;格里高·罗什乌 术语通用逻辑。 (英语) 兹比尔1253.03061 Corradini,Andrea(编辑)等人,代数开发技术的最新趋势。2008年6月13日至16日在意大利比萨举行的WADT 2008第19届国际研讨会。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-03428-2/pbk)。计算机科学课堂讲稿5486,290-307(2009)。MSC公司:03B70号 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{A.Popescu}和\textit{G.Rošu},莱克特。注释计算。科学。5486290-307(2009年;兹bl 1253.03061) 全文: 内政部
安德鲁·加塞克 阿贝拉互动定理证明器。(系统描述)。 (英语) Zbl 1165.68457号 阿曼多、亚历山德罗(编辑)等,《自动推理》。2008年8月12日至15日在澳大利亚悉尼举行的第四届国际联合会议。柏林:施普林格出版社(ISBN 978-3-540-71069-1/pbk)。计算机科学课堂讲稿5195。人工智能课堂讲稿,154-161(2008)。MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Gacek},莱克特。注释计算。科学。5195154-161(2008年;Zbl 1165.68457) 全文: 内政部
安德鲁·皮特斯(Andrew M.Pitts)。 名义逻辑,一种关于名称和约束的一阶理论。 (英语) Zbl 1056.03014号 Inf.计算。 186,第2期,165-193(2003).MSC公司:03B70号 68号30 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{A.M.Pitts},《信息计算》。186,第2号,165--193(2003;Zbl 1056.03014) 全文: 内政部
戴尔·米勒 编码一般判断:初步结果。 (英语) Zbl 1268.68051号 Ambler,S.J.(编辑)等人,MERLIN 2001。2001年6月18日,意大利锡耶纳,《关于变量绑定语言的机械化推理研讨会论文集》(与IJCAR 2001相关)。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》58,第1期,59-78(2001)。MSC公司:68甲18 68N17号 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{D.Miller},电子。注释Theor。计算。科学。58,第1号,59--78(2001;Zbl 1268.68051) 全文: 内政部