An algebraic treatment of the barwise compactness theory.

Isidore Fleischer Philip Scott

Published in: Stud Logica (1991)

Keyphrases

information flow
theoretical framework
formal theory
database
information retrieval
image segmentation
video sequences
general theory