Author:
Socher-Ambrosius Rolf,Johann Patricia
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Set of Support, Demodulation, Paramodulation: A Historical Perspective;Journal of Automated Reasoning;2022-05-24
2. Resolution with Limited Factoring;Artificial Intelligence and Computational Intelligence;2009
3. The axiomatic translation principle for modal logic;ACM Transactions on Computational Logic;2007-08
4. A Theoretical Formulation of Object-Oriented Rough Set Models;Journal of Advanced Computational Intelligence and Intelligent Informatics;2006-09-20
5. Resolution for label-based formulas in hierarchical representation;New Generation Computing;2004-09