戴尔·米勒 逻辑编程的证明理论基础综述。 （英语） Zbl 07776351号 理论与实践。日志。程序。 22，第6号，859-904（2022）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{D.Miller}，理论与实践。日志。程序。22，第6号，859--904（2022；Zbl 07776351） 全文： 内政部 arXiv公司
考斯托夫·乔杜里;乔尔·德斯佩鲁;卡洛斯·奥拉特;伊莱恩·皮门特尔 重新审视混合线性逻辑。 （英语） Zbl 1456.03095号 数学。结构。计算。科学。 29，第8期，1151-1176（2019）.MSC公司：第03页 PDF格式BibTeX公司 XML格式引用 \textit{K.Chaudhuri}等人，《数学》。结构。计算。科学。29，第8号，1151--1176（2019；Zbl 1456.03095） 全文： 内政部
考斯托夫·乔杜里 用乘法和次指数表示加法。 （英语） 兹比尔1456.03094 数学。结构。计算。科学。 28，第5期，651-666（2018）.MSC公司：第03页 03天35分 PDF格式BibTeX公司 XML格式引用 \textit{K.Chaudhuri}，数学。结构。计算。科学。28，第5号，651--666（2018；Zbl 1456.03094） 全文： 内政部
乔尔·德斯佩鲁;卡洛斯·奥拉特;伊莱恩·皮门特尔 混合和次指数线性逻辑。 （英语） Zbl 1395.03034号 Nigam，Vivek（编辑）等人，《逻辑和语义框架及其应用第十一次研讨会论文集》（LSFA 2016），葡萄牙波尔图，2016年。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记33295-111（2017）。MSC公司：第03页 03B44号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.Despeyroux}等人，《电子》。注释Theor。计算。科学。33295--111（2017；Zbl 1395.03034） 全文： 内政部 arXiv公司
Vivek Nigam先生;卡洛斯·奥拉特;伊莱恩·皮门特尔 关于并行系统中的次指数、聚焦和模式。 （英语） Zbl 1373.68298号 西奥。计算。科学。 693, 35-58 (2017).MSC公司：68问题85 第03页 PDF格式BibTeX公司 XML格式引用 \textit{V.Nigam}等人，Theor。计算。科学。693、35-58（2017年；Zbl 1373.68298） 全文： 内政部
考斯托夫·乔杜里 乘法次指数逻辑的不可判定性。 （英语） Zbl 1486.03103号 Alves，Sandra（编辑）等人，《第三届线性国际研讨会论文集》，线性2014，奥地利维也纳，2014年7月13日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）176，1-8（2015年）。MSC公司：第03页 03天35分 PDF格式BibTeX公司 XML格式引用 \textit{K.Chaudhuri}，电子。程序。西奥。计算。科学。（EPTCS）176，1--8（2015；Zbl 1486.03103） 全文： arXiv公司 链接
卡洛斯·奥拉特;伊莱恩·皮门特尔;Vivek Nigam先生 次指数并发约束规划。 （英语） Zbl 1332.68027号 西奥。计算。科学。 606, 98-120 (2015).MSC公司：68甲19 第03页 PDF格式BibTeX公司 XML格式引用 \textit{C.Olarte}等人，Theor。计算。科学。60698--120（2015；Zbl 1332.68027） 全文： 内政部
卡洛斯·奥拉特;Vivek Nigam先生;伊莱恩·皮门特尔 并发约束编程中的动态空间。 （英语） Zbl 1335.68180号 Fernández，Maribel（编辑）等人，第八届逻辑和语义框架研讨会论文集（LSFA 2013），巴西圣保罗，2013年9月2日至3日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记305，103-121，仅电子版（2014）。MSC公司：68问题85 第03页 PDF格式BibTeX公司 XML格式引用 \textit{C.Olarte}等人，《电子》。注释Theor。计算。科学。305、103-121（2014年；Zbl 1335.68180） 全文： 内政部
Vivek Nigam先生 线性授权逻辑框架。 （英语） 兹比尔1323.03093 西奥。计算。科学。 536, 21-41 (2014).MSC公司：第03页 03B70号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{V.Nigam}，Theor。计算。科学。536，21-41（2014；Zbl 1323.03093） 全文： 内政部
巴兹，马蒂亚斯;奥里邦拉哈夫;安娜·扎曼斯基 规范标记计算的有限值语义。 （英语） Zbl 1314.03016号 J.汽车。推理 51，编号4401-430（2013）.MSC公司：03B22号 03B35型 03B50号 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{M.Baaz}等人，J.Autom。推理51，No.4，401-430（2013；Zbl 1314.03016） 全文： 内政部