Some Applications of the Decidability of DPDA's Equivalence.

Géraud Sénizergues

Published in: MCU (2001)

Keyphrases

query containment
description logics
query answering
decision procedures
data sets
website
information retrieval
conjunctive queries