沙迦·伊扎基;希拉·佩勒;纳迪亚·波里卡波娃;鲁本·罗伊，N.S。;伊利亚·谢尔盖 带有指针的程序演绎合成：技术、挑战、机会（特邀论文）。 （英语） 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。注释计算。科学。12759110-134（2021年；兹比尔1493.68053） 全文： 内政部 OA许可证
艾米·费尔蒂;卡洛斯·奥拉特;布鲁诺·泽维尔 一个聚焦的线性逻辑框架及其在对象逻辑元理论中的应用。 （英语） Zbl 1529.03275号 数学。结构。计算。科学。 31，第3号，312-340（2021）.MSC公司：03楼52 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{A.Felty}等人，数学。结构。计算。科学。31，第3号，312--340（2021；Zbl 1529.03275） 全文： 内政部
杰斯珀·考克斯;安德烈亚斯·亚贝尔 细化依赖（co）模式匹配：没有留下模式。 （英语） Zbl 1442.68025号 J.功能。程序。 30，论文编号e2，43 p.（2020）.MSC公司：68甲18 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{J.Cockx}和\textit{A.Abel}，J.Funct。程序。30，论文编号e2，43 p.（2020；Zbl 1442.68025） 全文： 内政部
托梅尔·利巴尔;马尔科·沃尔佩 模态逻辑的一般证明框架。 （英语） Zbl 1430.68416号 数学。结构。计算。科学。 29，第8期，1344-1378（2019）.MSC公司：68伏15 03B35型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{T.Libal}和\textit{M.Volpe}，数学。结构。计算。科学。29，第8号，1344--1378（2019；Zbl 1430.68416） 全文： 内政部 arXiv公司
布鲁诺·泽维尔;卡洛斯·奥拉特;吉赛尔·赖斯;Vivek Nigam先生 Coq中的机械化集中线性逻辑。 （英语） Zbl 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） 全文： 内政部
穆罕默德·尤斯里·马哈茂德;艾米·费尔蒂（Amy P.Felty）。 量子编程语言的正式元级分析框架。 （英语） 兹比尔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） 全文： 内政部
扎卡里亚·奇哈尼;戴尔·米勒;费边·雷诺 证据的语义框架。 （英语） Zbl 1425.68371号 J.汽车。推理 59，第3期，287-330（2017）.MSC公司：第68页第15页 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Chihani}等人，J.Autom。推理59，No.3，287--330（2017；Zbl 1425.68371） 全文： 内政部 哈尔