Fast Subsumption Checks Using Anti-Links
Journal of Automated Reasoning
Theoretical Computer Science
Proceedings of the 2008 ACM SIGMOD international conference on Management of data
Computing all subtree repeats in ordered ranked trees
SPIRE'11 Proceedings of the 18th international conference on String processing and information retrieval
Computing all subtree repeats in ordered trees
Information Processing Letters
Hi-index | 5.23 |