Sign in

Development Method of Three Kinds of Typical Tree Structure Algorithms and Isabelle-based Machine Assisted Verification.

Changjing WangFan XuHaimei LuoQing HuangZhengkang Zuo
Published in: QRS (2020)
Keyphrases
  • tree structure
  • data structure
  • similarity measure
  • frequent patterns
  • quadtree
  • feature extraction
  • search algorithm
  • xml documents
  • tree representation
  • prefix tree