On equational theories, unification, and (Un)decidability
Journal of Symbolic Computation
Unification in a combination of arbitrary disjoint equational theories
Journal of Symbolic Computation
Matching - A special case of unification?
Journal of Symbolic Computation
A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Hi-index | 0.00 |