Categorical Equivalences for sqrt(') quasi-MV Algebras.

Roberto Giuntini Francesco Paoli Antonio Ledda

Published in: J. Log. Comput. (2010)

Keyphrases

categorical data
connected components
lower bound
spatial reasoning
weighted majority
worst case
motion vectors
relational algebra
relation algebra
numerical data
temporal reasoning
distributive lattices
real time
clifford algebra
attribute values
data model
np hard
special case
relational databases
case study