On the Decidability of the Equivalence Problem for Orthogonal Sequential Programs.

Vladimir A. Zakharov

Published in: Grammars (1999)

Keyphrases

query containment
query answering
computer programs
real time
data sets
search engine
database systems
data structure
search algorithm
data model
query language
parallel version
sequential search