Unification in commutative theories
Journal of Symbolic Computation
Unification in commutative theories, Hilbert's basis theorem, and Gröbner bases
Journal of the ACM (JACM)
Optimal unification of bound simple set-terms
CIKM '96 Proceedings of the fifth international conference on Information and knowledge management
Sets and constraint logic programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Nondeterministic Polynomial-Time Unification Algorithm for Bags, Sets and Trees
FoSSaCS '99 Proceedings of the Second International Conference on Foundations of Software Science and Computation Structure, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99
Deriving Focused Lattice Calculi
RTA '02 Proceedings of the 13th International Conference on Rewriting Techniques and Applications
Disunification in ACI1 Theories
Constraints
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)
E-unification with Constants vs. General E-unification
Journal of Automated Reasoning
Hi-index | 5.23 |