States on Bold Algebras: Categorical Aspects.

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

Keyphrases

database
categorical data
main aspects
real time
data sets
video sequences
spatial reasoning
initial state
state transitions
distributive lattices