Dis-unification (computer science)


Dis-unification, in computer science and logic, is an algorithmic process of solving inequations between symbolic expressions.

Publications on dis-unification

*