Journal of the ACM (JACM)
Matching - A special case of unification?
Journal of Symbolic Computation
Journal of Symbolic Computation
Unification Types of Completely Regular Semigroups
Journal of Automated Reasoning
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |