布莱恩·雷德蒙德(Brian F.Redmond)。 有界组合逻辑和较低的复杂性。 (英语) Zbl 1339.68140号 Inf.计算。 248, 215-226 (2016).MSC公司:2012年第68季度 03B40型 03B47号 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.F.Redmond},信息计算。248215--226(2016;Zbl 1339.68140) 全文: 内政部
埃里卡·德·贝内代蒂;西蒙娜·隆奇·德尔拉·罗卡 对于FPTIME和强规范化,\(\lambda\)-演算的类型赋值都是完整的。 (英语) Zbl 1339.68039号 Inf.计算。 248, 195-214 (2016).MSC公司:第68页第18页 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.De Benedetti}和\textit{S.Ronchi Della Rocca},计算机科学。248195-214(2016;Zbl 1339.68039) 全文: 内政部 arXiv公司
乌戈·达尔拉戈;乌尔里希·舍普 空间函数编程的交互计算。 (英语) Zbl 1339.68038号 Inf.计算。 248, 150-194 (2016).MSC公司:第68页第18页 03B70号 03楼52 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Dal-Lago}和\textit{U.Schöpp},Inf.Comput。248150-194(2016;Zbl 1339.68038) 全文: 内政部 哈尔
杰切克·克尔兹;阿列克西·舒伯特 多态性在软类型表征复杂性中的作用。 (英语) Zbl 1339.68098号 Inf.计算。 248, 130-149 (2016).MSC公司:2015年第68季度 03B40型 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{J.Chrząszcz}和\textit{A.Schubert},Inf.Compute。248130--149(2016;Zbl 1339.68098) 全文: 内政部
丹尼尔·德·卡瓦略;洛伦佐托托拉·德·法尔科 线性逻辑中强规范化的语义描述。 (英语) Zbl 1353.03077号 Inf.计算。 248, 104-129 (2016). 审核人:吉尔达·费雷拉(里斯本) MSC公司:03楼52 05年3月 07年3月 03B70号 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{D.de Carvalho}和\textit{L.Tortora de Falco},Inf.Compute。248104-129(2016;Zbl 1353.03077) 全文: 内政部 arXiv公司 链接
纪尧姆·邦芬特;莱因哈德·卡勒;Jean-Yves玛丽恩;伊莎贝尔·奥塔维姆 定义布尔电路中函数的两个函数代数。 (英语) Zbl 1339.68096号 Inf.计算。 248, 82-103 (2016).MSC公司:2015年第68季度 2015年3月1日 2005年第68季度 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{G.Bonfante}等人,信息计算。248、82-103(2016;Zbl 1339.68096) 全文: 内政部
帕特里克·贝洛特;乌戈·达尔拉戈 高阶解释和程序复杂性。 (英语) Zbl 1339.68037号 Inf.计算。 248, 56-81 (2016).MSC公司:第68页第18页 2015年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Baillot}和\textit{U.Dal Lago},Inf.Compute。24856--81(2016;Zbl 1339.68037) 全文: 内政部
马丁·阿文齐尼;乔治·莫瑟 复杂性的组合框架。 (英语) Zbl 1339.68135号 Inf.计算。 248, 22-55 (2016).MSC公司:2012年第68季度 65年第68季度 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{M.Avanzini}和\textit{G.Moser},Inf.Compute。248、22-55(2016年;Zbl 1339.68135) 全文: 内政部
西蒙娜·隆奇·德尔拉·罗卡(编辑) 前言。 (英语) Zbl 1335.00163号 Inf.计算。 248, 1 (2016).MSC公司:00B25型 68-06 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Ronchi Della Rocca}(编辑),《信息与计算》。2481(2016年;Zbl 1335.00163) 全文: 内政部
克莱门·奥伯特;托马斯·塞勒 对数空间和排列。 (英语) Zbl 1339.68095号 Inf.计算。 248,2-21(2016).MSC公司:2015年第68季度 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{C.Aubert}和\textit{T.Seiller},Inf.Compute。248,2--21(2016;Zbl 1339.68095) 全文: 内政部 arXiv公司