Compressed Straight Tableaux and a Distributive Lattice of Representations.

Brian D. Taylor

Published in: J. Comb. Theory, Ser. A (2000)

Keyphrases

data structure
data compression
automated reasoning
compressed domain
multiple representations
functional dependencies
modal logic
lattice points
real time
distributed representations
lattice structure
concept lattice
straight line
rough sets
multiscale
image sequences
databases