Special relations in automated deduction
Journal of the ACM (JACM) - The MIT Press scientific computation series
Proc. of the 8th international conference on Automated deduction
Resolution and quantified epistemic logics
Proc. of the 8th international conference on Automated deduction
Automated theorem-proving in non-classical logics
Automated theorem-proving in non-classical logics
Automated reasoning: 33 BASIC research problems
Automated reasoning: 33 BASIC research problems
The resolution rule: an algebraic perspective
AUSCRYPT '90 Proceedings of the international conference on cryptology on Algebraic logic and universal algebra in computer science
Resolution in the domain of strongly finite logics
Fundamenta Informaticae
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
Efficiency and Completeness of the Set of Support Strategy in Theorem Proving
Journal of the ACM (JACM)
A Deductive Approach to Program Synthesis
ACM Transactions on Programming Languages and Systems (TOPLAS)
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
Resolution proof systems with weak transformation rules
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
Adapting Classical Inference Techniques To Multiple-Valued Logics Using Signed Formulas
Fundamenta Informaticae
| Hi-index | 0.00 |