Login / Signup
The Emptiness Problem is Undecidable for Domains of Partial Monadic 2-Modular Tree Transformations.
Zoltán Fülöp
Sándor Vágvölgyi
Published in:
Inf. Process. Lett. (1990)
Keyphrases
</>
datalog programs
tree automata
deductive databases
tree structure
datalog queries
tree structures
sufficient conditions
hierarchical structure
index structure
np complete
decision trees
real world
incomplete information
b tree
induction algorithms
query containment
tree construction
tree nodes