Login / Signup
Counting Modulo Quantifiers on Finite Linearly Ordered Trees.
Juha Nurmonen
Published in:
LICS (1996)
Keyphrases
</>
ordered trees
semi structured data
unordered trees
mining frequent
tree automata
tree structures
equivalence class
finite automata
natural language
equivalence classes
xml data
first order logic
labeled trees
xml documents
semi structured
mining algorithm