×

找到18个文档（结果1-18）

最新的 引文 关联
布莱斯德尔，埃本;马克斯·卡诺维奇;库兹涅佐夫（Stepan L.Kuznetsov）。;伊莲·皮门特尔;安德烈·斯克洛夫

亚指数非结合非交换线性逻辑的探索。 （英语） Zbl 07818971号

Moortgat，Michael（ed.）等人，《亚结构逻辑中的模态程序：逻辑、语言和计算接口的应用》，AMSLO 2023，斯洛文尼亚卢布尔雅那，2023年8月7日至8日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）381，4-19（2023）。
MSC公司：03B47号 03B65号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{E.Blaisdell}等人，《电子》。程序。西奥。计算。科学。（EPTCS）381，4--19（2023；Zbl 07818971）
全文： 内政部 arXiv公司
布莱斯德尔，埃本;马克斯·卡诺维奇;库兹涅佐夫（Stepan L.Kuznetsov）。;伊莱恩·皮门特尔;安德烈·斯克洛夫

非关联、非交换的多模态线性逻辑。 （英语） Zbl 07628203号

Blanchette，Jasmin（编辑）等人，《自动推理》。第十一届国际联合会议，2022年8月8日至10日，以色列海法，IJCAR 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13385, 449-467 (2022).
MSC公司：第68卷第15页
PDF格式BibTeX公司 XML格式引用
\textit{E.Blaisdell}等人，Lect。注释计算。科学。13385、449--467（2022；Zbl 07628203）
全文： 内政部
OA许可证
卡洛斯·奥拉特;伊莱恩·皮门特尔;布鲁诺·泽维尔

线性逻辑作为逻辑框架的新观点。 （英语） Zbl 1498.03158号

Nalon，Cláudia（编辑）等人，《逻辑和语义框架及其应用第15届国际研讨会论文集》，LSFA 2020，虚拟研讨会，2020年8月27日至28日。阿姆斯特丹：爱思唯尔。电子。理论注释。计算。科学。351, 143-165 (2020).
MSC公司：第03页 05年3月
PDF格式BibTeX公司 XML格式引用
\textit｛C.Olarte｝等人，电子。理论注释。计算。科学。351143-165（2020年；Zbl 1498.03158）
全文： 内政部
卡洛斯·奥拉特;瓦莱里亚·德·佩瓦;伊莱恩·皮门特尔;吉赛尔·赖斯

直觉线性逻辑的ILLTP库。 （英语） Zbl 1486.03026号

Ehrhard，Thomas（ed.）等人，线性逻辑和应用中的线性与趋势联合国际研讨会论文集，线性-TLLA 2018，英国牛津，2018年7月7日至8日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）第292、118-132页（2019年）。
MSC公司：03B35型 第68卷第15页 第03页 03B20型 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{C.Olarte}等人，《电子》。程序。西奥。计算。科学。（EPTCS）292、118--132（2019年；Zbl 1486.03026）
全文： arXiv公司 链接
乔尔·德斯佩鲁;卡洛斯·奥拉特;伊莱恩·皮门特尔

混合和次指数线性逻辑。 （英语） Zbl 1395.03034号

Nigam，Vivek（编辑）等人，《逻辑和语义框架及其应用第十一次研讨会论文集》（LSFA 2016），葡萄牙波尔图，2016年。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记33295-111（2017）。
MSC公司：第03页 03B44号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{J.Despeyroux}等人，《电子》。理论注释。计算。科学。33295--111（2017；Zbl 1395.03034）
全文： 内政部 arXiv公司
蝉蜕、阿加塔;比约恩·莱尔曼;卡洛斯·奥拉特;伊莱恩·皮门特尔

从无切割计算到自动演绎：有界收缩的情况。 （英语） Zbl 1401.03034号

Nigam，Vivek（编辑）等人，《逻辑和语义框架及其应用第十一次研讨会论文集》（LSFA 2016），葡萄牙波尔图，2016年。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》33275-93（2017）。
MSC公司：03B35型 03B47号 20层03 第03页 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{A.Ciabattoni}等人，《电子》。理论注释。计算。科学。33275--93（2017；Zbl 1401.03034）
全文： 内政部
伊莱恩·皮门特尔;Vivek Nigam先生;乔安·内托

具有不同极性赋值的多焦点证明。 （英语） Zbl 1394.03070号

Benevides，Mario（ed.）等人，《逻辑和语义框架与应用第十次研讨会论文集》（LSFA 2015），巴西纳塔尔，2015年8月31日至9月1日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记323，163-179（2016）。
MSC公司：07年3月 03B20型 05年3月 20层03
PDF格式BibTeX公司 XML格式引用
\textit{E.Pimentel}等人，《电子》。理论注释。计算。科学。323163--179（2016年；Zbl 1394.03070）
全文： 内政部
卡洛斯·奥拉特;伊莱恩·皮门特尔

再次验证并发约束编程的正确性。 （英语） 兹比尔1342.68238

Ayala Rincón，Mauricio（编辑）等人，《第九届逻辑和语义框架及其应用研讨会论文集》（LSFA 2014），巴西巴西利亚，2014年9月8日至9日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记312179-195，仅电子版（2015）。
MSC公司：68问题85 03B70号 第03页 68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Olarte}和\textit{E.Pimentel}，电子。理论注释。计算。科学。312179-195（2015；Zbl 1342.68238）
全文： 内政部
Vivek Nigam先生;伊莱恩·皮门特尔;吉赛尔·赖斯

用次指数指定线性逻辑中的证明系统。 （英语） Zbl 1347.03103号

Haeusler，Edward Hermann（编辑）等人，《逻辑和语义框架及其应用第五次研讨会论文集》（LSFA 2010），巴西纳塔尔，2010年8月31日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记269109-123（2011）。
MSC公司：第03页
PDF格式BibTeX公司 XML格式引用
\textit{V.Nigam}等人，《电子》。理论注释。计算。科学。269、109--123（2011年；Zbl 1347.03103）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

串行

全部的 前5名

出版年份

主字段

全部的 前3名

软件