引用人
Färber M公司 波佩斯库A Zdancewic S公司 (2022) lambda-pi微积分模重写的安全、快速、并发证明检查 第十一届ACM SIGPLAN认证程序和证明国际会议记录 10.1145/3497775.3503683 (225-238) 在线发布日期:2022年1月17日 凯勒J 罗辛J 德拉哈耶D 罗比拉德·S Bouziane H公司 (2022) Goéland:一个基于并行表的定理证明器(系统描述) 自动推理 10.1007/978-3-031-10769-6_22 (359-368) 在线发布日期:2022年8月8日 克里斯蒂亚姆 罗西·G (2021) 带限制内涵集的自动推理 自动推理杂志 2007年10月10日/10817-021-09589-w 65 :6 (809-890) 在线发布日期:2021年8月1日