Definability Results for Top-Down Tree Transducers.

Sebastian Maneth Helmut Seidl Martin Vu

Published in: DLT (2021)

Keyphrases

tree structure
fixed point
propositional logic
high level
hierarchical structure
multiscale
binary tree
genetic algorithm
index structure
leaf nodes
tree structures
pruning algorithm
tree models