7引文
验证结构调查
2023
CD工具-压缩分离和结构生成定理证明(系统描述)
2022
压缩组合证明结构和混合目标与公理驱动推理:具有压缩分离和子句表的一阶ATP透视
2022
引理:生成、选择、应用
2023
通过Clausal Tableaux进行范围限制插值
2023
49参考文献
一个遗产被重新唤起,一个传统被延续
2004
一阶微积分的相对复杂性
1992
纯严格蕴涵的演算
1969
基于一阶逻辑的PIE证明、插值和消元环境的几个方面
2019