Complexity of matching problems
Journal of Symbolic Computation
Unification: a multidisciplinary survey
ACM Computing Surveys (CSUR)
Parallel tree pattern matching
Journal of Symbolic Computation
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 2
Hi-index | 0.00 |