Cancellative Superposition Decides the Theory of Divisible Torsion-Free Abelian Groups
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
Decision Procedures and Model Building, or How to Improve Logical Information in Automated Deduction
Selected Papers from Automated Deduction in Classical and Non-Classical Logics
Resolution decision procedures
Handbook of automated reasoning
Basic Paramodulation and Decidable Theories
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Testable and untestable classes of first-order formulae
Journal of Computer and System Sciences
Hi-index | 0.00 |