构造基相关论文
该文研究基于重写归纳的高效定理证明技术,分析了现有的测试集方法和显式及隐式归纳法,总结了各种方法在证明定理效率上的提高程度......
在测试集方法的基础，引入一个新的概念－构造基，用于产生完全的但非冗余的不可归的约基项；提出构造基归纳原理，将显式归纳证明和隐式归纳......
