Journal of Automated Reasoning
Replacement Rules with Definition Detection
Selected Papers from Automated Deduction in Classical and Non-Classical Logics
Handbook of automated reasoning
Decidability results for sets with atoms
ACM Transactions on Computational Logic (TOCL)
Solving equations with sequence variables and sequence functions
Journal of Symbolic Computation
Reasoning in extensional type theory with equality
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
Hi-index | 0.00 |