A Birkhoff theorem for partial algebras via completion.

Hans-Jürgen Hoehnke

Published in: Appl. Categorical Struct. (1996)

Keyphrases

partial information
data sets
real world
information systems
spatial reasoning
information retrieval
multimedia
temporal reasoning
distributive lattices