×

找到174个文档（结果1-100）

最新的 引文 关联
布莱斯德尔，埃本;马克斯·卡诺维奇;库兹涅佐夫（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）
全文： DOI程序 arXiv公司
尼科洛·维尔特里

斜非交换的最大多焦点证明磨机. （英语） 兹比尔07810577

Hansen，Helle Hvid（编辑）等人，《逻辑、语言、信息和计算》。2023年7月11日至14日，第29届国际研讨会，WoLLIC 2023，加拿大NS哈利法克斯。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13923, 377-393 (2023).
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{N.Veltri}，莱克特。注释计算。科学。13923、377--393（2023；Zbl 07810577）
全文： DOI程序
斯蒂芬·梅尔;奥斯伯特·巴斯塔尼;史蒂夫·兹丹塞维奇

表意字符：一种表达和操作结构化数据的语言。 （英语） Zbl 07809762号

Grabmayer，Clemens（编辑），第十二届国际术语和图形计算研讨会会议记录，Technion，以色列海法，2022年8月1日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）37765-84（2023年）。
MSC公司：第68季度第42季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Mell}等人，《电子》。程序。西奥。计算。科学。（EPTCS）377，65--84（2023；Zbl 07809762）
全文： arXiv公司 链接
罗伯特·梅利

通过MALL证明网证明聚焦定理。 （英语） Zbl 07691312号

Ciabattoni，Agata（编辑）等人，《逻辑、语言、信息和计算》。第28届国际研讨会，WoLLIC 2022，Iași，罗马尼亚，2022年9月20日至23日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13468, 1-17 (2022).
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{R.Maieli}，莱克特。注释计算。科学。13468，1-17（2022；Zbl 07691312）
全文： DOI程序
尼科洛·维尔特里

对称斜单体范畴的聚焦相干性。 （英语） Zbl 07547741号

Silva，Alexandra（编辑）等人，《逻辑、语言、信息和计算》。第27届国际研讨会，WoLLIC 2021，虚拟活动，2021年10月5日至8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13038, 184-200 (2021).
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{N.Veltri}，莱克特。注释计算。科学。13038184-200（2021年；兹bl 07547741）
全文： DOI程序
约翰内斯·马蒂;维尼马，伊德

无交互微积分的聚焦系统。 （英语） Zbl 07532527号

Das，Anupam（编辑）等人，《使用分析表和相关方法的自动推理》。第30届国际会议，2021年9月6日至9日，英国伯明翰，TABLEAUX 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12842, 371-388 (2021).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{J.Marti}和\textit{Y.Venema}，莱克特。注释计算。科学。12842、371--388（2021；Zbl 07532527）
全文： DOI程序
沙迦·伊扎基;希拉·佩勒;纳迪亚·波里卡波娃;鲁本·罗。;伊利亚·谢尔盖

带有指针的程序演绎合成：技术、挑战、机会（特邀论文）。 （英语） Zbl 1493.68053号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12759, 110-134 (2021).
MSC公司：68号01 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Itzhaky}等人，Lect。注释计算。科学。12759、110-134（2021年；Zbl 1493.68053）
全文： DOI程序
OA许可证
杰克·休斯;多米尼克·乌节

从分级线性类型进行有资源的程序合成。 （英语） Zbl 07496646号

Fernández，Maribel（编辑），基于逻辑的程序合成和转换。第30届国际研讨会，2020年LOPSTR，意大利博洛尼亚，2020年9月7日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12561, 151-170 (2021).
MSC公司：68纳米30
PDF格式BibTeX公司 XML格式引用
\textit{J.Hughes}和\textit{D.Orchard}，莱克特。注释计算。科学。12561、151--170（2021；Zbl 07496646）
全文： DOI程序
OA许可证
塔尔莫乌斯塔卢;尼科洛·维尔特里;诺姆·齐尔伯格

部分正规斜单体范畴的证明理论。 （英语） Zbl 1477.18041号

Spivak，David I.（编辑）等人，《2020年第三届国际应用范畴理论年会论文集》，ACT 2020，美国剑桥，2020年7月6日至10日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）333230-246（2021）。
审核人：Hirokazu Nishimura（筑波）
MSC公司：18米45 03财年03 03G30型
PDF格式BibTeX公司 XML格式引用
\textit{T.Uustalu}等人，《电子》。程序。西奥。计算。科学。（EPTCS）333230--246（2021；Zbl 1477.18041）
全文： arXiv公司 链接
塔尔莫乌斯塔卢;尼科洛·维尔特里;诺姆·齐尔伯格

斜单体范畴的序列演算。 （英语） Zbl 1495.03073号

克劳迪娅·卡萨迪奥（编辑）等人，约阿希姆·兰贝克：数学、逻辑和语言学的相互作用。查姆：斯普林格。Outst公司。控制日志。20, 377-406 (2021).
审核人：Hirokazu Nishimura（筑波）
MSC公司：05年3月 2005年5月18日 03楼52
PDF格式BibTeX公司 XML格式引用
\textit{T.Uustalu}等人，Outst。控制日志。20377--406（2021年；Zbl 1495.03073）
全文： DOI程序 arXiv公司 链接
Vivek Nigam先生;吉赛尔·赖斯;萨马尔·拉赫穆尼;哈拉尔德·鲁斯

证据交易的证据搜索和证书。 （英语） 兹比尔07437082

AndréPlatzer等人，《自动扣除——CADE 28》。第28届自动扣款国际会议，虚拟活动，2021年7月12-15日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12699, 234-251 (2021).
MSC公司：03B35型 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{V.Nigam}等人，Lect。注释计算。科学。12699，234--251（2021；Zbl 07437082）
全文： DOI程序
OA许可证
考斯托夫·乔杜里

直觉逻辑的子公式链接及其在类型理论中的应用。 （英语） Zbl 07437080号

AndréPlatzer等人，《自动扣除——CADE 28》。第28届自动扣款国际会议，虚拟活动，2021年7月12-15日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12699, 200-216 (2021).
MSC公司：03B35型 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{K.Chaudhuri}，莱克特。注释计算。科学。12699，200-216（2021；Zbl 07437080）
全文： DOI程序
OA许可证
亚历山大·乔尔吉;索尼娅·马林

集中于串含义逻辑中的证明研究。 （英语） Zbl 07410428号

Kiefer，Stefan（编辑）等人，《软件科学和计算结构基础》。第24届国际会议FOSSACS 2021，作为欧洲软件理论与实践联合会议ETAPS 2021的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12650, 247-267 (2021).
MSC公司：68新元 第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Gheorghiu}和\textit{S.Marin}，莱克特。注释计算。科学。12650247--267（2021；Zbl 07410428）
全文： DOI程序 arXiv公司
OA许可证
马克斯·卡诺维奇;斯捷潘·库兹涅佐夫;Vivek Nigam先生;安德烈·斯克洛夫

软次指数和多路复用。 （英语） Zbl 07614531号

佩尔蒂埃、尼古拉斯（编辑）等人，《自动推理》。第十届国际联合会议，2020年7月1日至4日，法国巴黎，IJCAR 2020。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12166, 500-517 (2020).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{M.Kanovich}等人，Lect。注释计算。科学。12166500-517（2020；Zbl 07614531）
全文： DOI程序
罗斯·霍恩

使用循环序列的会话子类型和多方兼容性。 （英语） Zbl 07559468号

Konnov，Igor（编辑）等人，第31届并发理论国际会议。CONCUR 2020，2020年9月1日至4日，奥地利维也纳，虚拟会议。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。171，第12条，第22页（2020）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.Horne}，LIPIcs——莱布尼茨国际程序。通知。171，第12条，22 p.（2020；Zbl 07559468）
全文： DOI程序
卡洛斯·奥拉特;伊莱恩·皮门特尔;布鲁诺·泽维尔

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

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

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

Ehrhard，Thomas（ed.）等人，线性逻辑和应用中的线性与趋势联合国际研讨会论文集，线性-TLLA 2018，英国牛津，2018年7月7日至8日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）第292、118-132页（2019年）。
MSC公司：03B35型 68伏15 03楼52 03B20型 68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛C.Olarte｝等人，电子。程序。西奥。计算。科学。（EPTCS）292、118--132（2019年；Zbl 1486.03026）
全文： arXiv公司 链接
格林·莫里尔;斯捷潘·库兹涅佐夫;马克斯·卡诺维奇;安德烈·斯克洛夫

带括号形式的Lambek演算的括号归纳法。 （英语） Zbl 1512.03030号

Foret，Annie（编辑）等，《形式语法2018》。2018年8月11日至12日，保加利亚索非亚，2018年FG第23届国际会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。10950, 84-101 (2018).
MSC公司：03B47号 03B65号
PDF格式BibTeX公司 XML格式引用
\textit{G.Morrill}等人，Lect。注释计算。科学。10950，84-101（2018；Zbl 1512.03030）
全文： DOI程序 链接
保罗·唐恩;泽纳·M·阿里奥拉。

超越极性：走向多学科的中间语言与共享。 （英语） Zbl 1528.68062号

Ghica，Dan R.（编辑）等人，第27届EACSL计算机科学逻辑年会，CSL 2018，英国伯明翰，2018年9月4-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。119，第21条，第23页（2018年）。
MSC公司：68甲18
PDF格式BibTeX公司 XML格式引用
\textit{P.Downen}和\textit{Z.M.Ariola}，LIPIcs——莱布尼茨国际程序。通知。119，第21条，第23页（2018；Zbl 1528.68062）
全文： DOI程序
达斯，阿努帕姆;Damien Pous

（Kleene+作用）（代数+格）的非充分证明理论。 （英语） 兹比尔1528.03234

Ghica，Dan R.（编辑）等人，第27届EACSL计算机科学逻辑年会，CSL 2018，英国伯明翰，2018年9月4-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。119，第19条，第18页（2018）。
MSC公司：05年3月 03G25号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Das}和\textit{D.Pous}，LIPIcs——莱布尼茨国际程序。通知。119，第19条，第18页（2018；Zbl 1528.03234）
全文： DOI程序
塔尔莫乌斯塔卢;尼科洛·维尔特里;诺姆·齐尔伯格

斜单体范畴的序列演算。 （英语） Zbl 1523.18017号

Staton，Sam（编辑），第34届编程语义数学基础会议论文集（MFPS XXXIV），加拿大哈利法克斯达尔豪西大学，2018年6月6日至9日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。341, 345-370 (2018).
审核人：尼古拉·布兰科（巴黎）
MSC公司：18M50型 05年3月 68纳米30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{T.Uustalu}等人，《电子》。注释Theor。计算。科学。341345--370（2018年；Zbl 1523.18017）
全文： DOI程序
纪尧姆·伯勒

将聚焦和分辨率与选择联系起来。 （英语） Zbl 1510.03010号

Potapov，Igor（编辑）等人，第43届计算机科学数学基础国际研讨会。2018年8月27日至31日，英国利物浦，MFCS 2018。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。117，第9条，第14页（2018）。
MSC公司：03B35型
PDF格式BibTeX公司 XML格式引用
\textit{G.Burel}，LIPIcs——莱布尼茨国际程序。通知。117，第9条，第14页（2018年；Zbl 1510.0310）
全文： DOI程序
布鲁诺·泽维尔;卡洛斯·奥拉特;吉赛尔·赖斯;Vivek Nigam先生

Coq中的机械化集中线性逻辑。 （英语） 兹比尔1433.68586

Alves，Sandra（编辑）等人，逻辑和语义框架与应用第十二次研讨会论文集（LSFA 2017），巴西巴西利亚，2017年9月23日至24日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。338, 219-236 (2018).
MSC公司：68V20型 03B35型 05年3月 03楼52 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{B.Xavier}等人，《电子》。注释Theor。计算。科学。338219-236（2018年；Zbl 1433.68586）
全文： DOI程序
穆罕默德·尤斯里·马哈茂德;艾米·费尔蒂（Amy P.Felty）。

量子编程语言的正式元级分析框架。 （英语） Zbl 1433.68078号

Alves，Sandra（编辑）等人，逻辑和语义框架与应用第十二次研讨会论文集（LSFA 2017），巴西巴西利亚，2017年9月23日至24日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。338, 185-201 (2018).
MSC公司：68甲15 03B40型 03B70号 68伏15 81页68
PDF格式BibTeX公司 XML格式引用
\textit{M.Y.Mahmoud}和\textit{A.P.Felty}，电子。注释Theor。计算。科学。338185-201（2018；Zbl 1433.68078）
全文： DOI程序
斯特凡诺·德尔·维奇奥;维吉尔·莫比尔

将CCS解释为ludics。 （英语） Zbl 1433.68247号

Alves，Sandra（编辑）等人，逻辑和语义框架与应用第十二次研讨会论文集（LSFA 2017），巴西巴西利亚，2017年9月23日至24日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。338, 97-114 (2018).
MSC公司：68问题85 03楼52
PDF格式BibTeX公司 XML格式引用
\textit{S.Del Vecchio}和\textit{V.Mogbil}，电子。注释Theor。计算。科学。33897--114（2018；Zbl 1433.68247）
全文： DOI程序
希思，昆廷;戴尔·米勒

模型检验的证明理论：扩展摘要。 （英语） Zbl 1483.03034号

Cervesato，Iliano（编辑）等人，《第四届线性国际研讨会论文集》，2016年6月25日，葡萄牙波尔图。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）2381-10（2017）。
MSC公司：03楼52 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Q.Heath}和\textit{D.Miller}，电子。程序。西奥。计算。科学。（EPTCS）238，1--10（2017；Zbl 1483.03034）
全文： arXiv公司 链接
诺姆·齐尔伯格

半关联定律的后继演算。 （英语） Zbl 1434.03140号

Miller，Dale（编辑），第二届计算和演绎形式结构国际会议。FSCD 2017，英国牛津，2017年9月3-9日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。84，第33条，第16页（2017年）。
MSC公司：03楼52 03B40型 03B47号 05年3月 06A07年
PDF格式BibTeX公司 XML格式引用
\textit{N.Zeilberger}，LIPIcs——莱布尼茨国际程序。通知。84，第33条，第16页（2017年；Zbl 1434.03140）
全文： DOI程序
何塞·埃斯皮里托·桑托

极化的\（\lambda \）演算。 （英语） 兹比尔1394.68059

Nigam，Vivek（编辑）等人，《逻辑和语义框架及其应用第十一次研讨会论文集》（LSFA 2016），葡萄牙波尔图，2016年。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》332149-168（2017）。
MSC公司：68甲18 03B40型 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{J.Espírito Santo}，电子。注释Theor。计算。科学。332149-168（2017年；Zbl 1394.68059）
全文： DOI程序
乔尔·德斯佩鲁;卡洛斯·奥拉特;伊莱恩·皮门特尔

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

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

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

Nigam，Vivek（编辑）等人，《逻辑和语义框架及其应用第十一次研讨会论文集》（LSFA 2016），葡萄牙波尔图，2016年。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》33275-93（2017）。
MSC公司：03B35型 03B47号 20层03 03楼52 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{A.Ciabattoni}等人，《电子》。注释Theor。计算。科学。33275--93（2017；Zbl 1401.03034）
全文： DOI程序
路易斯·凯雷斯;佩雷斯（Jorge A.Pérez）。

线性、控制效果和行为类型。 （英语） Zbl 1485.68055号

Yang，Hongseok（编辑），《编程语言与系统》。2017年4月22日至29日，作为欧洲软件理论和实践联席会议的一部分，在瑞典乌普萨拉举行的第26届欧洲编程研讨会，ESOP 2017。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。10201, 229-259 (2017).
MSC公司：68纳米30 03楼52 68甲18 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{L.Caires}和\textit{J.A.Pérez}，莱克特。注释计算。科学。10201、229--259（2017；Zbl 1485.68055）
全文： DOI程序 链接
马克斯·卡诺维奇;塔贾纳Ban Kirigin;Vivek Nigam先生;安德烈·斯克洛夫;卡罗琳·塔尔科特;兰科·佩罗维奇

受法规约束的活动的改写框架和逻辑。 （英语） Zbl 1364.68333号

数学。结构。计算。科学。 27，第3号，332-375（2017）.
MSC公司：68T27型 03楼52 第68季度第42季度 68问题55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Kanovich}等人，《数学》。结构。计算。科学。27，第3号，332--375（2017；Zbl 1364.68333）
全文： DOI程序
托梅尔·利巴尔;马尔科·沃尔佩

模态逻辑前缀表证明的认证。 （英语） Zbl 1478.03021号

Cantone，Domenico（编辑）等人，第七届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2016，卡塔尼亚，意大利，2016年9月14-16日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）226257-271（2016）。
MSC公司：03B35型 03B45号 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{T.Libal}和\textit{M.Volpe}，电子。程序。西奥。计算。科学。（EPTCS）226257--271（2016；Zbl 1478.03021）
全文： arXiv公司 链接
伊莱恩·皮门特尔;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}等人，《电子》。注释Theor。计算。科学。323163--179（2016年；Zbl 1394.03070）
全文： DOI程序
扎卡里亚·奇哈尼;戴尔·米勒

平等推理的证明证书。 （英语） Zbl 1394.68350号

Benevides，Mario（ed.）等人，《逻辑和语义框架与应用第十次研讨会论文集》（LSFA 2015），巴西纳塔尔，2015年8月31日至9月1日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记323，93-108（2016）。
MSC公司：68吨15 07年3月 第68季度第42季度
PDF格式BibTeX公司 XML格式引用
\textit｛Z.Chihani｝和\textit｛D.Miller｝，电子。注释Theor。计算。科学。323、93——108（2016年；Zbl 1394.68350）
全文： DOI程序
丹尼尔·李卡塔（Daniel R.Licata）。;迈克尔·舒尔曼

具有2类模式的伴随逻辑。 （英语） Zbl 1477.03267号

Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。2016年1月4日至7日在美国佛罗里达州迪尔菲尔德海滩举行的2016年LFCS国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9537, 219-235 (2016).
MSC公司：03G30型 18纳米10 55单位35
PDF格式BibTeX公司 XML格式引用
\textit{D.R.Licata}和\textit{M.Shulman}，莱克特。注释计算。科学。9537，219--235（2016；Zbl 1477.03267）
全文： DOI程序
马克斯·卡诺维奇;斯捷潘·库兹涅佐夫;安德烈·斯克洛夫

指数模态存在时的Lambek限制。 （英语） Zbl 1476.03026号

Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。2016年1月4日至7日在美国佛罗里达州迪尔菲尔德海滩举行的2016年LFCS国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9537, 146-158 (2016).
MSC公司：03B47号 03楼52
PDF格式BibTeX公司 XML格式引用
\textit{M.Kanovich}等人，Lect。注释计算。科学。9537、146--158（2016年；Zbl 1476.03026）
全文： DOI程序
杰斐逊·德巴罗斯·桑托斯;布鲁诺·洛佩斯·维埃拉;爱德华·赫尔曼·海尔

最小蕴涵逻辑中可证明性和反模型生成的统一过程。 （英语） Zbl 1396.03013号

Vizzotto，Juliana K.（编辑），《第三届理论计算机科学研讨会论文集》，巴西阿雷格里港，2015年10月14-16日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记324165-179（2016）。
MSC公司：03B35型 03B45号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{J.de Barros Santos}等人，《电子》。注释Theor。计算。科学。324165-179（2016；Zbl 1396.03013）
全文： DOI程序
考斯托夫·乔杜里;索尼娅·马林;Straßburger，卢茨

聚焦和合成嵌套序列。 （英语） Zbl 1476.03080号

Jacobs，Bart（编辑）等人，《软件科学和计算结构基础》。2016年4月2日至8日在荷兰埃因霍温举行的第19届国际会议FOSSACS 2016，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。9634, 390-407 (2016).
MSC公司：05年3月 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{K.Chaudhuri}等人，Lect。注释计算。科学。9634、390--407（2016年；Zbl 1476.03080）
全文： DOI程序
托马斯·埃尔哈德

从线性逻辑角度来看，按需调用值。 （英语） Zbl 1335.03064号

Peter Thiemann（编辑），《编程语言和系统》。2016年4月2日至8日，作为欧洲软件理论与实践联合会议的一部分，在荷兰埃因霍温举行了第25届欧洲编程研讨会，即2016年ESOP。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-49497-4/pbk；978-3-662-49498-1/电子书）。计算机科学讲义9632202-228（2016）。
MSC公司：03楼52 03B40型 03B70号 03G30型 18立方厘米20
PDF格式BibTeX公司 XML格式引用
\textit{T.Ehrhard}，莱克特。注释计算。科学。9632202-228（2016年；Zbl 1335.03064）
全文： DOI程序
Brock Nannestad，陶斯;尼古拉斯，猜猜看

多焦点线性逻辑中的割消。 （英语） Zbl 1477.03252号

Alves，Sandra（编辑）等人，《第三届线性国际研讨会论文集》，线性2014，奥地利维也纳，2014年7月13日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）176，24-33（2015）。
MSC公司：03楼52 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{T.Brock-Nannestad}和\textit{N.Guenot}，电子。程序。西奥。计算。科学。（EPTCS）176，24-33（2015；Zbl 1477.03252）
全文： arXiv公司 链接
考斯托夫·乔杜里

乘法次指数逻辑的不可判定性。 （英语） Zbl 1486.03103号

Alves，Sandra（编辑）等人，《第三届线性国际研讨会论文集》，线性2014，奥地利维也纳，2014年7月13日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）176，1-8（2015）。
MSC公司：03楼52 03天35分
PDF格式BibTeX公司 XML格式引用
\textit{K.Chaudhuri}，电子。程序。西奥。计算。科学。（EPTCS）176，1--8（2015；Zbl 1486.03103）
全文： arXiv公司 链接
Brock Nannestad，陶斯;尼古拉斯，猜猜看

聚焦线性逻辑和（lambda）-演算。 （英语） Zbl 1352.03073号

Dan Ghica（编辑），第31届编程语义数学基础会议论文集（MFPS XXXI），荷兰奈梅亨，2015年6月22日至25日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记319103-119，仅电子版（2015）。
MSC公司：03楼52 03B40型
PDF格式BibTeX公司 XML格式引用
\textit{T.Brock-Nannestad}和\textit{N.Guenot}，电子。注释Theor。计算。科学。319103-119（2015；Zbl 1352.03073）
全文： DOI程序
戴维·齐亚鲁吉;莫雷诺，法拉斯基;戴安娜·赫米思;卡洛斯·奥拉特

生物化学系统中空间和时间模式的验证。 （英语） Zbl 1351.68157号

Pauleve，Loic（编辑）等人，第五届静态分析和系统生物学国际研讨会（SASB 2014）的后期报道，德国慕尼黑，2014年9月10日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记316，29-44（2015）。
MSC公司：60年第68季度 03B70号 2005年第68季度 92C40型
PDF格式BibTeX公司 XML格式引用
\textit{D.Chiarugi}等人，《电子》。注释Theor。计算。科学。316、29-44（2015；Zbl 1351.68157）
全文： DOI程序
卡洛斯·奥拉特;伊莱恩·皮门特尔

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

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

校对和逻辑编程。 （英语） Zbl 1362.68055号

Falaschi，Moreno（编辑），基于逻辑的程序合成和转换。2015年7月13日至15日在意大利锡耶纳举行的2015年LOPSTR第25届国际研讨会。修订了选定的论文。查姆：施普林格（ISBN 978-3-319-27435-5/pbk；978-3-3169-27436-2/电子书）。《计算机科学讲义》9527，3-17（2015）。
MSC公司：68纳米30 03B70号 68N17号
PDF格式BibTeX公司 XML格式引用
\textit{D.Miller}，莱克特。注释计算。科学。9527，3-17（2015；Zbl 1362.68055）
全文： DOI程序 哈尔
詹姆·阿里亚斯;Myriam德塞因特-卡特琳;卡洛斯·奥拉特;卡米洛·鲁埃达

可靠灵活的交互式多媒体评分基础。 （英语） 1320.00013兹罗提

汤姆·柯林斯（编辑）等人，《音乐中的数学和计算》。2015年6月22日至25日在英国伦敦举行的2015年MCM第五届国际会议，会议记录。查姆：施普林格（ISBN 978-3-319-20602-8/pbk；978-3-3169-20603-5/电子书）。计算机科学9110课堂讲稿。《人工智能课堂讲稿》，29-41（2015）。
MSC公司：00A65号 03B70号 68甲15 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{J.Arias}等人，Lect。注释计算。科学。9110，29-41（2015；Zbl 1320.00013）
全文： DOI程序 哈尔
阿加塔·西阿巴托尼;斯彭迪，劳拉

用于研究子结构和准一致逻辑的工具。 （英语） Zbl 1432.68547号

Fermé，Eduardo（编辑）等人，《人工智能中的逻辑》。2014年9月24日至26日，第14届欧洲会议，JELIA 2014，葡萄牙马德拉，Funchal。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8761, 18-32 (2014).
MSC公司：68伏99 03B47号 03B53号
PDF格式BibTeX公司 XML格式引用
\textit{A.Ciabattoni}和\textit{L.Spendier}，莱克特。注释计算。科学。8761，18-32（2014；Zbl 1432.68547）
全文： DOI程序
弗拉维奥·克鲁兹;里卡多·罗查;塞斯·科本·戈尔茨坦;弗兰克·芬宁

一种用于图结构上并发编程的线性逻辑编程语言。 （英语） Zbl 1307.68014号

理论与实践。日志。程序。 14，No.4-5，493-507（2014）.
MSC公司：68N17号 68甲15 03B70号 68甲19 68第05页
PDF格式BibTeX公司 XML格式引用
\textit{F.Cruz}等人，《理论与实践》。日志。程序。14、编号4--5、493--507（2014；Zbl 1307.68014）
全文： DOI程序 arXiv公司

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件