Equational problems anddisunification
Journal of Symbolic Computation
On solving equations and disequations
Journal of the ACM (JACM)
Disunification in ACI1 Theories
Constraints
Proceedings of the 2006 ACM symposium on Applied computing
Theory and Practice of Logic Programming
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets
ACM Transactions on Computational Logic (TOCL)
Theory of finite or infinite trees revisited
Theory and Practice of Logic Programming
Solving first-order constraints in the theory of the evaluated trees
CSCLP'06 Proceedings of the constraint solving and contraint logic programming 11th annual ERCIM international conference on Recent advances in constraints
Model representation via contexts and implicit generalizations
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
Hi-index | 0.00 |