Author:
Hähnle Reiner,Murray Neil V.,Rosenthal Erik
Subject
General Computer Science,Theoretical Computer Science
Reference24 articles.
1. A linear format for resolution with merging and a new technique for establishing completeness;Anderson;J. Assoc. Comput. Mach.,1970
2. Theorem proving via general matings;Andrews;J. Assoc. Comput. Mach.,1981
3. Resolution theorem proving;Bachmair,2001
4. P. Baumgartner, U. Furbach, Model elimination without contrapositives, in: Bundy (Ed.), Proc. 12th Conf. on Automated Deduction CADE, Nancy, France, Lecture Notes in Artificial Intelligence, Vol. 814, Springer, Berlin, 1994, pp. 87–101.
5. On matrices with connections;Bibel;J. Assoc. Comput. Mach.,1981
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献