Author:
CHANG CHIN-LIANG,LEE RICHARD CHAR-TUNG
Reference19 articles.
1. Anderson, R. (1970): Completeness results for E-resolution, Proc. AFIPS 1970 Spring Joint Computer Conf., pp. 653–656.
2. Completeness of the locking restriction for paramodulation;Anderson,1971
3. Renamable paramodulation for automatic theorem proving with equality;Chang;Artificial Intelligence,1970
4. Completeness of linear refutation for theories with equality;Chang;J. Assoc. Comput. Mach.,1971
5. Automatic theorem proving with equality substitutions and mathematical induction;Darlinton,1968
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献