-algebras. A Proof of a Conjecture of A. Monteiro.

Roberto Cignoli Luiz Monteiro

Published in: Stud Logica (2006)

Keyphrases

spatial reasoning
data sets
bayesian networks
theorem prover
clifford algebra
distributive lattices
database
real world
image segmentation
digital libraries
decision procedures
topological spaces