Enumerating outer narrowing derivationsfor constructor-based term rewriting systems
Journal of Symbolic Computation
Unification in a combination of arbitrary disjoint equational theories
Journal of Symbolic Computation
Constraints in computational logics
Hi-index | 0.00 |