On the Decidability of Equivalence for Deterministic Pushdown Transducers.

Oscar H. Ibarra Louis E. Rosier

Published in: Inf. Process. Lett. (1981)

Keyphrases

query containment
description logics
model checking
query answering
black box
relaxation algorithm
data mining
genetic algorithm
artificial intelligence
conjunctive queries
real time
data structure
interactive dynamic influence diagrams