Login / Signup
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