卡洛斯·奥拉特;伊莱恩·皮门特尔;Vivek Nigam先生 次指数并发约束规划。 (英语) Zbl 1332.68027号 西奥。计算。科学。 606, 98-120 (2015).MSC公司:68甲19 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{C.Olarte}等人,Theor。计算。科学。60698--120(2015;Zbl 1332.68027) 全文: 内政部
达戈斯蒂诺,马塞洛 经典逻辑的信息视图。 (英语) Zbl 1332.03002号 西奥。计算。科学。 606, 79-97 (2015).MSC公司:03B05号 03英尺20英寸 PDF格式BibTeX公司 XML格式引用 \文本{M.D'Agostino},Theor。计算。科学。60679-97(2015年;Zbl 1332.03002) 全文: 内政部
阿尔贝托·齐法格利翁;伊万·斯卡格内托 弱HOAS中的机械化环境。 (英语) Zbl 1332.68202号 西奥。计算。科学。 606, 57-78 (2015).MSC公司:68吨15 第68页第18页 PDF格式BibTeX公司 XML格式引用 \textit{A.Ciafglione}和\textit{I.Scagnetto},Theor。计算。科学。606、57-78(2015年;Zbl 1332.68202) 全文: 内政部
沃尔特·卡尼埃利;玛丽亚娜·马图洛维奇 多项式环演算方法及其潜力。 (英语) Zbl 1338.03012号 西奥。计算。科学。 606, 42-56 (2015).MSC公司:03B35型 03B50号 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{W.Carnielli}和\textit{M.Matulovic},Theor。计算。科学。60642--56(2015;Zbl 1338.03012) 全文: 内政部
卡洛斯·阿雷塞斯;伊泽基尔·奥贝 对称阻塞。 (英语) Zbl 1332.68200号 西奥。计算。科学。 606, 25-41 (2015).MSC公司:68吨15 03B35型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{C.Areces}和\textit{E.Orbe},Theor。计算。科学。60625--41(2015年;Zbl 1332.68200) 全文: 内政部
马塞洛·芬格(编辑);凯斯纳,迪莉娅(编辑) 特刊:第七届和第八届逻辑和语义框架应用研讨会论文集。 (英语) Zbl 1329.00197号 西奥。计算。科学。 606, 1 (2015).MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{M.Finger(编辑)和\textit{D.Kesner}(编辑),Theor。计算。科学。6061(2015年;Zbl 1329.00197) 全文: 内政部
贝尼亚米·阿卡托利 证明网和按值调用\(\lambda\)-演算。 (英语) Zbl 1332.68026号 西奥。计算。科学。 606, 2-24 (2015).MSC公司:第68页第18页 03B40型 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{B.Accattoli},Theor(西奥)。计算。科学。606,2--24(2015;Zbl 1332.68026) 全文: 内政部 arXiv公司 哈尔