Annals of Mathematics and Artificial Intelligence
The Theory of Total Unary RPO Is Decidable
CL '00 Proceedings of the First International Conference on Computational Logic
A Model-Based Completeness Proof of Extended Narrowing and Resolution
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
On unification for bounded distributive lattices
ACM Transactions on Computational Logic (TOCL)
Deduction with XOR constraints in security API modelling
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
| Hi-index | 0.00 |