Decidability of DPDA equivalence.

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

Keyphrases

query containment
description logics
query answering
conjunctive queries
decision procedures
real time
transitive closure
data sets
artificial intelligence
web services
multiscale
rough set theory
equivalence relation