The Equivalence and Inclusion Problems for NTS Languages.

Géraud Sénizergues

Published in: J. Comput. Syst. Sci. (1985)

Keyphrases

problems involving
database
computer vision
database systems
multi agent
np complete
expressive power
decision problems
language independent