Decidability of omaega-Trees with Bounded Sets - A Survey.

Published in: FCT (1977)

Keyphrases

decision trees
description logics
databases
data sets
real world
information systems
real time
artificial intelligence
multiscale
query answering
tree automata
set theoretic
binary trees
labeled trees
hypervolume indicator