Decidability of the Finiteness of Ranges of Tree Transductions.

Frank Drewes Joost Engelfriet

Published in: Inf. Comput. (1998)

Keyphrases

tree structure
description logics
finite state
finite automata
search algorithm
index structure
databases
neural network
b tree
tree construction
data sets
binary tree
decision procedures
tree models
tree nodes
finite state transducers