PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Optimal union-find in Constraint Handling Rules
Theory and Practice of Logic Programming
Algorithmic Debugging of Java Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Efficient E-Matching for SMT Solvers
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
Hi-index | 0.00 |