萨拉·内格里 无穷逻辑中的几何规则。 （英语） Zbl 07452007号 Arieli，Ofer（编辑）等人，Arnon Avron关于非经典逻辑的语义和证明理论。查姆：斯普林格。Outst公司。控制日志。21, 265-293 (2021).MSC公司：03年XX月 68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Negri}，Outst（输出）。控制日志。21、265--293（2021；Zbl 07452007） 全文： DOI程序
科恩、利隆 归纳法和共归纳法的非资金扣除。 （英语） Zbl 07437069号 AndréPlatzer等人，《自动扣除——CADE 28》。第28届自动扣款国际会议，虚拟活动，2021年7月12-15日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12699, 3-24 (2021).MSC公司：03B35型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{L.Cohen}，莱克特。注释计算。科学。12699，3--24（2021；Zbl 07437069） 全文： DOI程序 OA许可证
科恩、利隆;鲁本·罗。 通过闭包运算符和证明循环集成归纳和共归纳。 （英语） 兹伯利07614523 佩尔蒂埃、尼古拉斯（编辑）等人，《自动推理》。第十届国际联合会议，2020年7月1日至4日，法国巴黎，IJCAR 2020。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12166, 375-394 (2020).MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{L.Cohen}和\textit{R.N.S.Rowe}，莱克特。注释计算。科学。12166375--394（2020；Zbl 07614523） 全文： DOI程序
科恩、利隆;阿农·阿夫隆 中庸之道——不切实际的逻辑。 （英语） Zbl 1475.03082号 合成 196，第7期，2671-2693（2019）.MSC公司：03B60号 05年3月 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{L.Cohen}和\textit{A.Avron}，综合196，第7期，2671-2693（2019；Zbl 1475.03082） 全文： DOI程序
科恩、利隆;鲁本·罗。 传递闭包逻辑中通过无限下降的一致归纳推理。 （英语） Zbl 1528.03186号 Ghica，Dan R.（编辑）等人，第27届EACSL计算机科学逻辑年会，CSL 2018，英国伯明翰，2018年9月4-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。119，第17条，第16页（2018年）。MSC公司：03日70 03财年03 05年3月 30楼03号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{L.Cohen}和\textit{R.N.S.Rowe}，LIPIcs——莱布尼茨国际程序。通知。119，第17条，第16页（2018；Zbl 1528.03186） 全文： DOI程序
科恩、利隆;罗伯特·康斯特布尔。 直觉主义祖先逻辑作为一种依赖类型的抽象编程语言。 （英语） Zbl 1465.68036号 Paiva，Valeria（编辑）等人，《逻辑、语言、信息和计算》。第22届国际研讨会，2015年7月20日至23日，美国印第安纳州布卢明顿，WoLLIC。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。9160, 14-26 (2015).MSC公司：68甲15 03B20型 03B70号 68纳米30 PDF格式BibTeX公司 XML格式引用 \textit{L.Cohen}和\textit{R.L.Constable}，莱克特。注释计算。科学。9160，14-26（2015年；兹bl 1465.68036） 全文： DOI程序