On Ockham algebras: congruence lattices and subdirectly irreducible algebras.

Pere Garcia Francesc Esteva

Published in: Stud Logica (1995)

Keyphrases

distributive lattices
spatial reasoning
boolean algebra
clifford algebra
relation algebra
temporal reasoning
relational databases
database
information retrieval
metadata
case study
multi agent
cooperative
search algorithm
evolutionary algorithm
topological spaces