An Introduction to Decidability of DPDA Equivalence.

Published in: FSTTCS (2001)

Keyphrases

query containment
description logics
query answering
data structure
database
social networks
image processing
conjunctive queries
datalog programs
decision procedures
interactive dynamic influence diagrams