Unification in a combination of arbitrary disjoint equational theories
Journal of Symbolic Computation
Adventures in associative-commutative unification
Journal of Symbolic Computation
On solving equations and disequations
Journal of the ACM (JACM)
Hi-index | 0.00 |