Decidability of EDT0L structural equivalence.

Kai Salomaa Sheng Yu

Published in: Theor. Comput. Sci. (2002)

Keyphrases

structural information
query answering
description logics
euclidean distance transform
query containment
data sets
information retrieval
image processing
binary images
structural analysis
database
database systems
data structure
decision procedures