阿尔贝托·莫米利亚诺;碧姬·品特卡;大卫·希伯多 编程共推证明的案例研究:豪的方法。 (英语) 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) 全文: DOI程序
考斯托夫·乔杜里;乔尔·德斯佩鲁;卡洛斯·奥拉特;伊莱恩·皮门特尔 混合线性逻辑,重温。 (英语) Zbl 1456.03095号 数学。结构。计算。科学。 29,第8期,1151-1176(2019).MSC公司:第03页 PDF格式BibTeX公司 XML格式引用 \textit{K.Chaudhuri}等人,《数学》。结构。计算。科学。29,第8号,1151--1176(2019;Zbl 1456.03095) 全文: DOI程序
费卢西奥·圭迪;克劳迪奥·萨塞尔多蒂·科恩;恩里科·塔西 在高阶约束逻辑编程中实现类型理论。 (英语) Zbl 1430.68025号 数学。结构。计算。科学。 29,第8期,1125-1150(2019).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{F.Guidi}等人,数学。结构。计算。科学。29,第8号,1125--1150(2019;Zbl 1430.68025) 全文: DOI程序
罗利·佩雷拉;詹姆斯·切尼 相关证明演算:对并发性和因果性的建设性解释。 (英语) Zbl 1400.68142号 数学。结构。计算。科学。 28,第9期,1541-1577(2018).MSC公司:68问题85 03B70号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{R.Perera}和\textit{J.Cheney},数学。结构。计算。科学。28,第9号,1541--1577(2018;Zbl 1400.68142) 全文: DOI程序 arXiv公司
克里斯汀·塔森;莱昂内尔·沃克斯 有限结构和应用的传输。 (英语) Zbl 1456.03108号 数学。结构。计算。科学。 28,第7号,1061-1096(2018).MSC公司:第03页 18甲15 03B40型 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{C.Tasson}和\textit{L.Vaux},数学。结构。计算。科学。28,第7号,1061--1096(2018;Zbl 1456.03108) 全文: DOI程序
Brock Nannestad,陶斯;尼古拉斯,猜猜看 多焦点切割消除。 (英语) 兹比尔1456.03093 数学。结构。计算。科学。 28,第5号,614-650(2018).MSC公司:第03页 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{T.Brock-Nannestad}和\textit{N.Guenot},数学。结构。计算。科学。28,第5号,614--650(2018;Zbl 1456.03093) 全文: DOI程序
马克斯·卡诺维奇;塔贾纳Ban Kirigin;Vivek Nigam先生;安德烈·斯克洛夫;卡罗琳·塔尔科特;兰科·佩罗维奇 受法规约束的活动的改写框架和逻辑。 (英语) Zbl 1364.68333号 数学。结构。计算。科学。 27,第3号,332-375(2017).MSC公司:68T27型 第03页 2012年第68季度 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Kanovich}等人,《数学》。结构。计算。科学。27,第3号,332--375(2017;Zbl 1364.68333) 全文: DOI程序