Counting Quasivarieties of Equivalential Algebras.

Katarzyna Idziak

Published in: Reports Math. Log. (2000)

Keyphrases

spatial reasoning
image processing
temporal reasoning
multimedia
distributive lattices
case study
data streams
computational complexity
np complete